@TechReport{	  kreitz.ea:a-matrix-characterization-for-multiplicative-exponential-linear-logic:2000,
  author	= {Christoph Kreitz and Heiko Mantel},
  institution	= {Cornell University},
  note		= {Revised version appeared in 2004 in Journal of Automated
		  Reasoning},
  title		= {{A Matrix Characterization for Multiplicative Exponential
		  Linear Logic}},
  year		= 2000
}