Edelkamp, S., and M. Helmert. “MIPS: The Model-Checking Integrated Planning System”. AI Magazine, vol. 22, no. 3, Sept. 2001, p. 67, doi:10.1609/aimag.v22i3.1574.