Higher-order critical pairs (1991)

by T Nipkow
Venue:In Proc. of the 6th Symp. on Logic in Computer Science, IEEE Computer Society