Maurizio Gabbrielli, Maria Chiara Meo
Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns
PPDP, 1992.
@inproceedings{ALP-1992-GabbrielliM, author = "Maurizio Gabbrielli and Maria Chiara Meo", booktitle = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0013821", isbn = "3-540-55873-X", pages = "84--99", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Fixpoint Semantics for Partial Computed Answer Substitutions and Call Patterns}", volume = 632, year = 1992, }