L.: Fibring labelled deduction systems (0)

by J Rasga, A Sernadas, C Sernadas, Viganò
Venue:Journal of Logic and Computation