## Paola Bruscoli, Alessio Guglielmi

*A Tutorial on Proof Theoretic Foundations of Logic Programming*

ICLP, 2003.

@inproceedings{ICLP-2003-BruscoliG, author = "Paola Bruscoli and Alessio Guglielmi", booktitle = "{Proceedings of the 19th International Conference on Logic Programming}", doi = "10.1007/978-3-540-24599-5_9", isbn = "3-540-20642-6", pages = "109--127", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Tutorial on Proof Theoretic Foundations of Logic Programming}", volume = 2916, year = 2003, }