Edelkamp, Stefan and Helmut, Malte. 2001. “MIPS: The Model-Checking Integrated Planning System.”The AI Magazine 22(1): 67–71.
Korf, Richard E., Reid, Michael and Edelkamp, Stefan. 2001. “Time Complexity of Iterative-Deepening-\(A^*\).”Artificial Intelligence 129(1–2): 199–218.