Algebra and Automated Deduction.

Steve Linton, Ursula Martin, Pter Prhle, Duncan Shand

Browse the full CADE paper archive.