Edelkamp, S. and Helmert, M. 2001. MIPS: The Model-Checking Integrated Planning System. AI Magazine. 22, 3 (Sep. 2001), 67. DOI:https://doi.org/10.1609/aimag.v22i3.1574.