A Practical Module System for Logic Programming and its Semantics.

Isambo Karali, Constantin Halatsis

Browse the full ICTAI paper archive.