"Compositionality of Normal Open Logic Programs."

Sofie Verbaeten, Marc Denecker, Danny De Schreye (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics