Proof theory for contextual reasoning (1998)

by J Seligman