TIP: Tools for Inductive Provers.

Dan Rosn, Nicholas Smallbone

Browse the full LPAR paper archive.