Goal Directed Proof Construction in Type Theory (1991)

by Leen Helmink, Rene Ahn
Venue:in Logical Frameworks, edited by Gerard Huet and Gordon Plotkin