SGGS Decision Procedures.

Maria Paola Bonacina, Sarah Winkler

Browse the full CADE paper archive.