%0 Conference Paper %1 conf/iclp/RenaultD94 %A Renault, Sophie %A Deransart, Pierre %B LPE %D 1994 %I Tekniske Høgskole, University of Trondheim, Trondheim, Norway %K dblp %T A Proof Manager for Verification of Logic Programs. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w4.html#RenaultD94

@inproceedings{conf/iclp/RenaultD94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Renault, Sophie and Deransart, Pierre}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b2b9abb85239557309102722284c0c60/dblp}, booktitle = {LPE}, crossref = {conf/iclp/1994w4}, interhash = {c7fe422d321b89669dedc872b72f7239}, intrahash = {b2b9abb85239557309102722284c0c60}, keywords = {dblp}, publisher = {Tekniske Høgskole, University of Trondheim, Trondheim, Norway}, timestamp = {2016-02-02T15:20:54.000+0100}, title = {A Proof Manager for Verification of Logic Programs.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w4.html#RenaultD94}, year = 1994 }