Inductive definitions: automation and application (1995)

by J Harrison
Venue:Higher Order Logic Theorem Proving and Its Applications: Proceedings of the 8th International Workshop, Volume ??? of Lecture Notes in Computer Science