King, Paul John, Simov, Kiril Ivanov and Aldag, Bjørn. 1999. “The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-Driven Phrase Structure Grammar.”Journal of Logic, Language, and Information 8(1): 83–110.