@inproceedings{damas-1992-satisfiability,
    title = "On the Satisfiability of Complex Constraints",
    author = "Damas, Luis",
    booktitle = "{COLING} 1992 Volume 1: The 14th {I}nternational {C}onference on {C}omputational {L}inguistics",
    year = "1992",
    url = "https://preview.aclanthology.org/Ingest-2025-COMPUTEL/C92-1020/"
}