![]() |
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},
}