Schematic Saturation for Decision and Unification Problems.

Christopher Lynch

Browse the full CADE paper archive.