Induction in Saturation.

Laura Kovcs, Petra Hozzov, Mrton Hajd, Andrei Voronkov

Browse the full IJCAR paper archive.