Karpas, E.; Sagi, T.; Domshlak, C.; Gal, A.; Mendelson, A.; Tennenholtz, M. Data-Parallel Computing Meets STRIPS. AAAI 2013, 27, 474-480.