de Queiroz. An introduction to labelled natural deduction (1992)

by Dov M Gabbay, J G B Ruy
Venue:Proceedings of Third Advanced Summer School in Artificial Intelligence