Volker Weispfenning. Semilinear Motion Planning in REDLOG. Appl. Algebra Eng. Commun. Comput., 12(6):455-475, 2001. [doi]
@article{Weispfenning01, title = {Semilinear Motion Planning in REDLOG}, author = {Volker Weispfenning}, year = {2001}, url = {http://link.springer.de/link/service/journals/00200/bibs/1012006/10120455.htm}, researchr = {https://researchr.org/publication/Weispfenning01}, cites = {0}, citedby = {0}, journal = {Appl. Algebra Eng. Commun. Comput.}, volume = {12}, number = {6}, pages = {455-475}, }