Induction with Recursive Definitions in Superposition.

Mrton Hajd, Petra Hozzov, Laura Kovcs, Andrei Voronkov

Browse the full FMCAD paper archive.