@techreport{radul2009art,
  author={Radul, A. and Gerald Jay Sussman},
  title={The art of the propagator},
  institution={Technical Report MIT-CSAIL-TR-2009-002, MIT Computer Science and Artificial Intelligence Laboratory},
  year={2009}
}