Hannes Strass, Michael Thielscher: Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) 2010: 58-63