Typed Relational Conversion. - Petr Lozov; Andrei Vyatkin; Dmitry Boulytchev (TFP, 2017)

Relational Synthesis for Pattern Matching. - Dmitry Kosarev; Petr Lozov; Dmitry Boulytchev (APLAS, 2020)

Efficient fair conjunction for structurally-recursive relations. - Peter Lozov; Dmitry Boulytchev (PEPM@POPL, 2021)

Relational Solver for Java Generics Type System. - Peter Lozov; Dmitry Kosarev; Dmitry Ivanov; Dmitry Boulytchev (LOPSTR, 2023)

Constraint Programming for Automatic User Interface Construction. - Peter Lozov; Dmitry Kosarev; Dmitri Boulytchev (Program. Comput. Softw., 2025)