Andreas Dolzmann Volker Weispfenning Multiple object semilinear motion planning. 324-337 2007 42 J. Symb. Comput. 3 http://dx.doi.org/10.1016/j.jsc.2006.11.001 db/journals/jsc/jsc42.html#DolzmannW07