T-String Unification: Unifying Prefixes in Non-classical Proof Methods.

Jens Otten, Christoph Kreitz

Browse the full TABLEAUX paper archive.