@inproceedings{analysingconstraintgrammarswithasat,
  title = {Analysing Constraint Grammars with a SAT-solver},
  author = {Inari Listenmaa and Koen Claessen},
  year = {2016},
  booktitle = {LREC 2016 5},
  url = {https://aclanthology.org/L16-1111},
}