Reductive logic and proof-search proof theory, semantics, and control - Pym, David J.; Ritter, Eike (Clarendon Press, 2004)
Published to Oxford Scholarship Online: September 2007