## Tamás Gergely, Miklós Szöts

*Cuttable Formulas for Logic Programming*

ICLP, 1984.

@inproceedings{SLP-1984-GergelyS84, author = "Tamás Gergely and Miklós Szöts", booktitle = "{Proceedings of the First International Symposium on Logic Programming}", isbn = "0-8186-0522-7", pages = "299--310", publisher = "{IEEE-CS}", title = "{Cuttable Formulas for Logic Programming}", year = 1984, }