Internalizing labelled deduction (2000)

by P Blackburn
Venue:Journal of Logic and Computation,10(1