Polytypic proof construction (1999)

by Holger Pfeifer, Harald Ruess
Venue:Proceedings 12th International Conference on Theorem Proving in Higher Order Logics, number 1690 in Lecture Notes in Computer Science