Enrico Giunchiglia Alessandro Armando Paolo Pecchiari Structured Proof Procedures. 1-18 1995 15 Ann. Math. Artif. Intell. 1 db/journals/amai/amai15.html#GiunchigliaAP95 http://dx.doi.org/10.1007/BF01535839