## Frank Teusink

*A Proof Procedure for Extended Logic Programs*

ICLP, 1993.

@inproceedings{ILPS-1993-Teusink, author = "Frank Teusink", booktitle = "{Proceedings of the International Symposium on Logic Programming}", isbn = "0-262-63152-0", pages = "235--249", publisher = "{MIT Press}", title = "{A Proof Procedure for Extended Logic Programs}", year = 1993, }