"Determining Ramifications in the Situation Calculus."

Enrico Giunchiglia (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics