On the Satisfiability of Complex Constraints Luis Damas author 1992 text COLING 1992 Volume 1: The 14th International Conference on Computational Linguistics conference publication damas-1992-satisfiability https://aclanthology.org/C92-1020/ 1992