Integration of Equality Reasoning into the Disconnection Calculus.

Reinhold Letz, Gernot Stenz

Browse the full TABLEAUX paper archive.