## Livio Colussi, Elena Marchiori

*Proving Correctness of Logic Programs Using Axiomatic Semantics*

ICLP, 1991.

@inproceedings{ICLP-1991-ColussiM, author = "Livio Colussi and Elena Marchiori", booktitle = "{Proceedings of the Eighth International Conference on Logic Programming}", isbn = "0-262-56058-5", pages = "629--642", publisher = "{MIT Press}", title = "{Proving Correctness of Logic Programs Using Axiomatic Semantics}", year = 1991, }