Labeled Deductive Systems (1991)

by D Gabbay