Deciding Inductive Validity of Equations.

Jrgen Giesl, Deepak Kapur

Browse the full CADE paper archive.