Karpas, E., T. Sagi, C. Domshlak, A. Gal, A. Mendelson, and M. Tennenholtz. “Data-Parallel Computing Meets STRIPS”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 474-80, doi:10.1609/aaai.v27i1.8590.