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

A Query Language for Logic Architectures. - Anton Malykh; Andrei Mantsivoda (Ershov Memorial Conference, 2009)