Metalogical frameworks (1993)

by D A Basin, R L Constable
Venue:In Logical Environments, G. Huet and