E. Karpas, T. Sagi, C. Domshlak, A. Gal, A. Mendelson, and M. Tennenholtz, “Data-Parallel Computing Meets STRIPS”, AAAI, vol. 27, no. 1, pp. 474-480, Jun. 2013.