Logic programming in the LF logical framework. Logical frameworks (1991)

by Frank Pfenning