Title: A feasible approach to disjunctive knowledge in situation calculus
First published: 2005