Sofie Verbaeten Annalisa Bossi Composing Complete and Partial Knowledge. 2000 2000 Journal of Functional and Logic Programming 6 db/journals/jflp/jflp2000.html#VerbaetenB00