Structuring theories on consequence (1988)

by J Fiadeiro, A Sernadas
Venue:In Recent Trends in Algebraic Development Techniques