SETHEO II - The System and its Calculi.

Reinhold Letz, Klaus Mayr

Browse the full TABLEAUX paper archive.