A. Bria, W. Faber, and N. Leone. “Normal Form Nested Programs.” Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA 2008). September 2008. Springer Verlag. Editors: Steffen Hölldobler, Carsten Lutz, and Heinrich Wansing. ISBN: 978-3-540-87802-5 Accepted for publication.
A. Bria, W. Faber, and N. Leone. “Normal Form Nested Programs.” Proceedings of the 23rd Italian Conference on Computational Logic (CILC 2008). July 2008. Editor: Andrea Formisano. URI: http://www.dipmat.unipg.it/cilc08/25_BriaFaberLeone.pdf.