Models, Unfolding Rules and Fixpoint Semantics

Giorgio Levi. Models, Unfolding Rules and Fixpoint Semantics. In ICLP/SLP. pages 1649-1665, 1988.

Possibly Related Publications

The following publications are possibly variants of this publication: