Retrieving library identifiers by equational matching of types (1990)

by M Rittri
Venue:Proceedings of the 10th International Conference on Automated Deduction, number 449 in Lecture Notes in Computer Science