Editing First-Order Proofs: Programmed Rules vs Derived Rules

Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel. Editing First-Order Proofs: Programmed Rules vs Derived Rules. In SLP. pages 92-98, 1984.

Possibly Related Publications

The following publications are possibly variants of this publication: