On Connections and Higher-Order Logic (1989)

by P B Andrews
Venue:Journal of Automated Reasoning