Logic Programming in Knowledge Domains. - Andrei Mantsivoda; Vladimir Lipovchenko; Anton Malykh (ICLP, 2006)