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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.