Structured theory presentations and logic representations (1994)

by R Harper, D Sannella, A Tarlecki
Venue:Annals of Pure and Applied Logic