Peter Padawitz. Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion. In IFIP Congress. pages 1121-1126, 1989.
@inproceedings{Padawitz89, title = {Proving the Correctness of Schorr-Waite Graph Marking by Inductive Expansion}, author = {Peter Padawitz}, year = {1989}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/Padawitz89}, cites = {0}, citedby = {0}, pages = {1121-1126}, booktitle = {IFIP Congress}, }