Isabelle-91. In (1992)

by T Nipkow, L C Paulson
Venue:11th International Conference on Automated Deduction,