Stefan Edelkamp, Shahid Jabbar, Blai Bonet: External Memory Value Iteration. ICAPS 2007: 128-135