Mikhail Soutchanski, Wael Yehia. Towards an Expressive Practical Logical Action Theory. In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 307-325, EasyChair, 2012. [doi]
Abstract is missing.