Volume 74, 2002
The Second Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2002)
July 2002
Roland Heinze:
Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs.
51-68