"A Versatile Module System for Prolog Mapped to Flat Prolog."

Isambo Karali, Evangelos Pelecanos, Constantin Halatsis (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics