Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
Connection-Based Proof Construction in Linear Logic
CADE, 1997.
@inproceedings{CADE-1997-KreitzMOS,
author = "Christoph Kreitz and Heiko Mantel and Jens Otten and Stephan Schmitt",
booktitle = "{Proceedings of the 14th International Conference on Automated Deduction}",
doi = "10.1007/3-540-63104-6_20",
isbn = "3-540-63104-6",
pages = "207--221",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Connection-Based Proof Construction in Linear Logic}",
volume = 1249,
year = 1997,
}