Pablo López Ernesto Pimentel Proof-Theoretic Foundation of Hypothetical Reasoning. 268-282 2000 conf/wflp/2000 WFLP db/conf/wflp/wflp2000.html#LopezP00