Tractability and Structural Closures in Attribute Logic Type Signatures

35137

Knowledge Triples