A Multimodal Logic to Define Modules in Logic Programming

Matteo Baldoni, Laura Giordano, Alberto Martelli. A Multimodal Logic to Define Modules in Logic Programming. In ILPS. pages 473-487, 1993.

Abstract

Abstract is missing.