Gerd Neu­ge­bauer und Uwe Petermann. Specification of Inference Rules and Their Automatic Translation. In Pe­ter Baumgartner, Reiner Hähnle und Joachim Posegga, Her­aus­ge­ber, Theorem Proving with Analytical Tableaux and Related Methods, Num­mer 918 in LNAI, Sei­ten 185–200. Springer, Sep­tem­ber 1995.