Annamaria Bria, Wolfgang Faber, Nicola Leone. Normal Form Nested Programs. In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, editors, Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings. Volume 5293 of Lecture Notes in Computer Science, pages 76-88, Springer, 2008. [doi]
Abstract is missing.