SGGS Theorem Proving: an Exposition.

Maria Paola Bonacina, David A. Plaisted

Browse the full CADE paper archive.