General logics and logical frameworks (1994)

by Narciso Marti-Oliet, Jose Meseguer
Venue:What is a Logical System