Josep Maria Font Ramon Jansana Don Pigozzi Fully Adequate Gentzen Systems and the Deduction Theorem. 115-165 2001 35 Reports on Mathematical Logic http://www.iphils.uj.edu.pl/rml/rml-35/a-pig-35.htm db/journals/rml/rml35.html#FontJP01