%0 Conference Paper %1 conf/slp/FerrandL95 %A Ferrand, Gérard %A Lallouet, Arnaud %B ILPS %D 1995 %E Lloyd, John W. %I MIT Press %K dblp %P 209-223 %T A Compositional Proof Method of Partial Correctness for Normal Logic Programs. %U http://dblp.uni-trier.de/db/conf/slp/slp95.html#FerrandL95 %@ 0-262-62099-5

@inproceedings{conf/slp/FerrandL95, added-at = {2021-08-11T00:00:00.000+0200}, author = {Ferrand, Gérard and Lallouet, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/27245ea35cd8587308575c5ee01519636/dblp}, booktitle = {ILPS}, crossref = {conf/slp/1995}, editor = {Lloyd, John W.}, ee = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300567}, interhash = {79f825c3e409bafd170e8bed0250f9b2}, intrahash = {7245ea35cd8587308575c5ee01519636}, isbn = {0-262-62099-5}, keywords = {dblp}, pages = {209-223}, publisher = {MIT Press}, timestamp = {2024-04-09T09:39:58.000+0200}, title = {A Compositional Proof Method of Partial Correctness for Normal Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp95.html#FerrandL95}, year = 1995 }