Higher-order critical pairs (1991)

by Tobias Nipkow
Venue:In Symposium on Logic in Computer Science