Specifications of Inference Rules and Their Automatic Translation.

Gerd Neugebauer, Uwe Petermann

Browse the full TABLEAUX paper archive.