Pilar Pozos Parra Edgardo Yescas Jacob Vásquez Planning using situation calculus, prolog and a mobile robot. 2007 conf/lanmr/2007 LA-NMR http://www.ceur-ws.org/Vol-286/LANMR07_06.pdf db/conf/lanmr/lanmr2007.html#ParraYV07