Unfolding, Procedural and Fixpoint Semantics of Logic Programs.

Franois Denis, Jean-Paul Delahaye

Browse the full STACS paper archive.