@Article{ kreitz.ea:matrix:2004, author = {Christoph Kreitz and Heiko Mantel}, journal = {Journal of Automated Reasoning (JAR)}, pages = {121--166}, publisher = {Kluwer}, title = {A Matrix Characterization for Multiplicative Exponential Linear Logic}, volume = 32, number = 2, year = 2004 }