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)

Embedded Implications as a Generalization of Negation as Failure. - Vyacheslav Petukhin (ICLP, 1997)

Programs with Universally Quantified Embedded Implications. - Vyacheslav Petukhin (LPNMR, 1997)