Srivastava, S.; Russell, S.; Pinto, A. Metaphysics of Planning Domain Descriptions. AAAI 2016, 30.