Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel. Editing First-Order Proofs: Programmed Rules vs Derived Rules. In SLP. pages 92-98, 1984.
@inproceedings{AponteFR84,
title = {Editing First-Order Proofs: Programmed Rules vs Derived Rules},
author = {Maria Virginia Aponte and José Alberto Fernández and Philippe Roussel},
year = {1984},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/AponteFR84},
cites = {0},
citedby = {0},
pages = {92-98},
booktitle = {SLP},
}