Flang: A Functional-Logic Language. - Andrei Mantsivoda (PDK, 1991)

Implementation of the Functional-Logic Language Flang. - Andrei Mantsivoda; Vyacheslav Petukhin (PDK, 1991)

Compiling Flang. - Andrei Mantsivoda; Vyacheslav Petukhin (CC, 1992)

Memory Management of Constraint in Flang. - Andrei Mantsivoda; Vyacheslav Petukhin; Alexei Weimann (ICLP, 1993)

Flang and its Implementation. - Andrei Mantsivoda (PLILP, 1993)

Flang System: A new Version. - Andrei Mantsivoda (PLILP, 1994)

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)

The Inverse Method for Many-Valued Logics. - Laura Kovács; Andrei Mantsivoda; Andrei Voronkov (MICAI (1), 2013)

On Termination of Transactions over Semantic Document Models. - Andrei Mantsivoda; Denis K. Ponomaryov (CoRR, 2020)