Unication : a Case Study in Transposition of Formal Properties (1997)

by M Jaume
Venue:Supplementary Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics: Poster session TPHOLs'97