Christopher James Ewin, Adrian R. Pearce, Stavros Vassos: Optimizing Long-Running Action Histories in the Situation Calculus Through Search. PRIMA 2015: 85-100