Focused Inductive Theorem Proving.

David Baelde, Dale Miller, Zachary Snow

Browse the full CADE paper archive.