Inductive de Automation and application (1995)

by J Harrison
Venue:Higher Order Logic Theorem Proving and Its Applications