@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} }