Cuttable Formulas for Logic Programming

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

No reviews for this publication, yet.