Databaser & Logik
A Note on Lattices and Fixed Points:
note.ps.gz
.
Last modified: October 4, 1995.
Kim Skak Larsen
(
kslarsen@imada.sdu.dk
)