Formalizing Almost Development Closed Critical Pairs (Short Paper).

Christina Kohl, Aart Middeldorp

Browse the full ITP paper archive.