On Connections and Higher Order Logic (1989)

by P B Andrews
Venue:J. of Automated Reasoning