Tamás Gergely, Miklós Szöts. Cuttable Formulas for Logic Programming. In SLP. pages 299-310, 1984.
@inproceedings{GergelyS84, title = {Cuttable Formulas for Logic Programming}, author = {Tamás Gergely and Miklós Szöts}, year = {1984}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/GergelyS84}, cites = {0}, citedby = {0}, pages = {299-310}, booktitle = {SLP}, }