Effective Search for the Logical Framework (1989)

by David Pym, Lincoln Wallen
Venue:Laboratory for the Foundations of Computer Science, Edinburgh University