Sofie Verbaeten Marc Denecker Danny De Schreye Compositionality of Normal Open Logic Programs. 151-183 2000 42 J. Log. Program. 3 db/journals/jlp/jlp42.html#VerbaetenDS00