3 Jens Claßen Gerhard Lakemeyer 2009 Tractable First-Order Golog with Disjunctive Knowledge Bases Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009) Toronto, Canada 01/06/2009