Structuring theories on consequence (1988)

by J Fiadeiro, A Sernadas
Venue:5th WADT, volume 332 of LNCS