linTAP: A Tableau Prover for Linear Logic

@inproceedings{pub1538,
    author = {

Mantel, Heiko
 and 

Otten, Jens
},
    editor = {

V.Murray, Neil
},
    title = {linTAP: A Tableau Prover for Linear Logic},
    booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs},
    series = {LNAI 1617},
    year = {1999},
    month = {6},
    pages = {217--231},
    address = {Saratoga Springs, NY, USA},
    publisher = {Springer}
}