A modal perspective on the computational complexity of attribute value grammar
fragments of propositional dynamic logic
scientific article; zbMATH DE number 501099
scientific article