Helmut Schwichtenberg Proof Search in Minimal Logic. 15-25 http://dx.doi.org/10.1007/978-3-540-30210-0_3 2004 conf/aisc/2004 AISC db/conf/aisc/aisc2004.html#Schwichtenberg04