## Sophie Renault

*Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion*

LOPSTR, 1995.

@inproceedings{LOPSTR-1995-Renault, author = "Sophie Renault", booktitle = "{Proceedings of the Fifth International Workshop on Logic Programming Synthesis and Transformation}", doi = "10.1007/3-540-60939-3_16", isbn = "3-540-60939-3", pages = "204--218", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion}", volume = 1048, year = 1995, }