Inductive de automation and application (1995)

by J Harrison
Venue:In Proceedings of the 1995 International Workshop on Higher Order Logic theorem proving and its applications