Gerd Neugebauer Uwe Petermann Specifications of Inference Rules and Their Automatic Translation. 185-200 1995 conf/tableaux/1995 TABLEAUX db/conf/tableaux/tableaux95.html#NeugebauerP95