Algebraic Composition and Refinement of Proofs.

Martin Simons Michel Sintzoff Algebraic Composition and Refinement of Proofs. 494-508 1997 conf/amast/1997 AMAST db/conf/amast/amast97.html#SimonsS97