## Andrea Corradini, Ugo Montanari

*An Algebraic Semantics of Logic Programs as Structured Transition Systems*

ICLP, 1990.

@inproceedings{NACLP-1990-CorradiniM, author = "Andrea Corradini and Ugo Montanari", booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}", isbn = "0-262-54058-4", pages = "788--812", publisher = "{MIT Press}", title = "{An Algebraic Semantics of Logic Programs as Structured Transition Systems}", year = 1990, }