@inproceedings{lpar/BogaertsTM17,
  author    = {Bart Bogaerts and Eugenia Ternovska and David Mitchell},
  title     = {Propagators and Solvers for the Algebra of Modular Systems},
  booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Thomas Eiter and David Sands},
  series    = {EPiC Series in Computing},
  volume    = {46},
  pages     = {227-248},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}