Cuttable Formulas for Logic Programming

Tamás Gergely, Miklós Szöts. Cuttable Formulas for Logic Programming. In SLP. pages 299-310, 1984.

Bibliographies