Connection-Based Proof Construction in Linear Logic

@inproceedings{pub1541,
    author = {

Kreitz, Christoph
 and 

Mantel, Heiko
 and 

Otten, Jens
 and 

Schmitt, Stephan
},
    editor = {

McCune, William
},
    title = {Connection-Based Proof Construction in Linear Logic},
    booktitle = {14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), Townsville},
    series = {LNAI 1249},
    year = {1997},
    month = {7},
    pages = {207--221},
    address = {Townsville, Australia},
    publisher = {Springer}
}