Tractability and Structural Closures in Attribute Logic Type Signatures.

Gerald Penn

Browse the full ACL paper archive.