Fibring Labelled Deduction Systems (2002)

by João Rasga , Amílcar Sernadas , Cristina Sernadas , Luca Vigano
Venue:Journal of Logic and Computation
Citations:13 - 9 self