Title: Handling uncertainty systems in the situation calculus with macro-actions
First published: 2002