Connection-based proof construction in linear logic Kreitz, Christoph Mantel, Heiko Ott, Jörg Schmitt, Stephan 1997 - TUHH Open Research