Skip to content

Unfolding, Procedural and Fixpoint Semantics of Logic Programs.

Franois Denis, Jean-Paul Delahaye

VenueBSAS
Year1991
ProceedingsJTASPEFT/WSA

Browse the full SAS paper archive.