Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari. Structured Proof Procedures. Annals of Mathematics and Artificial Intelligence, 15(1):1-18, 1995.
@article{GiunchigliaAP95,
title = {Structured Proof Procedures},
author = {Enrico Giunchiglia and Alessandro Armando and Paolo Pecchiari},
year = {1995},
researchr = {https://researchr.org/publication/GiunchigliaAP95},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {15},
number = {1},
pages = {1-18},
}