Reductive Logic and Proof-search - Pym, Ritter (Oxford University PressOxford University Press, 2007)