SEdit - Graphically Validating Technical Systems. - Gerd Große; Christoph S. Herrmann; Enno Sandner (FAPR, 1996)

From Linear Proofs to Direct Logic with Exponentials. - Enno Sandner (KI, 1997)