A Modal Framework for Structured Logic Programs

Laura Giordano, Alberto Martelli. A Modal Framework for Structured Logic Programs. In Evelina Lamma, Paola Mello, editors, Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings. Volume 660 of Lecture Notes in Computer Science, pages 168-186, Springer, 1992.

Abstract

Abstract is missing.