Structured Proof Procedures (1995)

by E Giunchiglia, A Armando, P Pecchiari
Venue:of Structured Proof Procedures, Third Bar-Ilan Symposium on the Foundations of Artificial Intelligence. Also DISTTechnical Report 93-0015