François Denis, Jean-Paul Delahaye
Unfolding, Procedural and Fixpoint Semantics of Logic Programs
SAS, 1991.
@inproceedings{WSA-1991-DenisD, author = "François Denis and Jean-Paul Delahaye", booktitle = "{Proceedings of the First Workshop on Static Analysis at JTASPEFL in Bordeaux}", pages = "157--164", publisher = "{Atelier Irisa, IRISA, Campus de Beaulieu}", series = "{Series Bigre}", title = "{Unfolding, Procedural and Fixpoint Semantics of Logic Programs}", volume = 74, year = 1991, }