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}, }