Alberto de la Encina, Luis Llana, Fernando Rubio. Introducing Debugging Capabilities to Natural Semantics. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 195-208, Springer, 2006. [doi]
Abstract is missing.