## Gérard Ferrand, Arnaud Lallouet

*A Compositional Proof Method of Partial Correctness for Normal Logic Programs*

ICLP, 1995.

@inproceedings{ILPS-1995-FerrandL, author = "Gérard Ferrand and Arnaud Lallouet", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-62099-5", pages = "209--223", publisher = "{MIT Press}", title = "{A Compositional Proof Method of Partial Correctness for Normal Logic Programs}", year = 1995, }