@InProceedings{ inp:KreitzMantelOttenSchmitt1997, author = {Christoph Kreitz and Heiko Mantel and Jens Otten and Stephan Schmitt}, title = {{Connection-Based Proof Construction in Linear Logic}}, booktitle = {Proceedings of the 14th International Conference on Automated Deduction (CADE)}, pages = {207--221}, year = 1997, editor = {William McCune}, series = {LNAI 1249}, address = {Townsville, Australia}, month = {July}, pdf = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1997/1997cade-numbered.pdf}, ps = {https://www.mais.informatik.tu-darmstadt.de/WebBib/papers/1997/1997cade-numbered.PS.zip}, publisher = {Springer} }