@article{boerkoel2013distributed,
  title={Distributed reasoning for multiagent simple temporal problems},
  author={Boerkoel, James C and Durfee, Edmund H},
  year={2013},
  journal={Journal of Artificial Intelligence Research},
  pages   = {95--156},
  volume  = {47},
}