On Connections and Higher Order Logic (1989)

by Peter B Andrews
Venue:Journal of Automated Reasoning