linTAP: A Tableau Prover for Linear Logic.

Heiko Mantel, Jens Otten

Browse the full TABLEAUX paper archive.