Upside-Down Transformation in SOL/Connection Tableaux and Its Application.

Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima

Browse the full ICTAC paper archive.