Volker Weispfenning. Semilinear Motion Planning Among Moving Objects in REDLOG. In Victor G. Ganzha, Ernst Wilhelm Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing, CASC 2001, Konstanz, Germany, September 22-26, 2001. pages 541-553, Springer Berlin Heidelberg, 2001. [doi]
Abstract is missing.