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

Certified Semantics for Relational Programming. - Dmitry Rozplokhas; Andrey Vyatkin; Dmitry Boulytchev (APLAS, 2020)