LCF should be lifted (1989)

by Bard Bloom, Jon G Riecke
Venue:Department of Computer Science, University of Iowa