3 works on record
Goal-directed proof theory
Handbook of the logic of argument and inference
Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
