logo
BibTeX Entry


@techreport{penn:99.4,
  author	= {Penn, Gerald},
  title		= {Tractability and Structural Closures in Attribute Logic Type Signatures},
  type		= {Arbeitspapiere des {SFB} 340},
  number	= {135},
  institution	= {Universit{\"a}t T{\"u}bingen, Germany},
  year		= {1999},
  note		= {This paper has been superseded by [Penn, 2001]},
  homepage	= {http://www.cs.toronto.edu/~gpenn/index.html},
}