@InProceedings{	  mantel.ea:lintap--a-tableau-prover-for-linear-logic:1999,
  address	= {Saratoga Springs, NY, USA},
  author	= {Heiko Mantel and Jens Otten},
  booktitle	= {Proceedings of the 8th International Conference on
		  Automated Reasoning with Analytic Tableaux and Related
		  Methods (TABLEAUX)},
  editor	= {Neil V.Murray},
  month		= {June},
  pages		= {217--231},
  pdf		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999tableaux.pdf},
  ps		= {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1999/1999tableaux.ps.zip},
  publisher	= {Springer},
  series	= {LNAI 1617},
  title		= {{linTAP: A Tableau Prover for Linear Logic}},
  year		= 1999
}