Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols.

Franz Baader, Deepak Kapur

Browse the full CADE paper archive.