Wlodzimierz Drabent, Miroslawa Milkowska
Proving Correctness and Completeness of Normal Programs — A Declarative Approach
ICLP, 2001.
@inproceedings{ICLP-2001-DrabentM, author = "Wlodzimierz Drabent and Miroslawa Milkowska", booktitle = "{Proceedings of the 17th International Conference on Logic Programming}", doi = "10.1007/3-540-45635-X_27", isbn = "3-540-42935-2", pages = "284--299", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proving Correctness and Completeness of Normal Programs — A Declarative Approach}", volume = 2237, year = 2001, }