Peter Padawitz Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. 1121-1126 1989 IFIP Congress db/conf/ifip/ifip89.html#Padawitz89