A.: Integration of automated and interactive theorem proving in ILF (1997)

by B Dahn, J Gehne, T Honigmann, Wolf
Venue:Conference on Automated Deduction (CADE-14), LNCS