Modal Logic, Transition Systems and Processes. - Johan van Benthem; Jan van Eijck; Vera Stebletsova (J. Log. Comput., 1994)

Weakly Assoclative Relation Algebras with Polyadic Compositlons. - Vera Stebletsova (RelMiCS, 1997)

Axioms for Jonsson's Q-Algebras. - Vera Stebletsova; Yde Venema (RelMiCS, 1997)

Weakly Associative Relation Algebras with Polyadic Composition Operations. - Vera Stebletsova (Stud Logica, 2000)

Undecidable Theories of Lyndon Algebras. - Vera Stebletsova; Yde Venema (J. Symb. Log., 2001)

Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. - Kai Obendrauf; Anne Baanen; Patrick Koopmann; Vera Stebletsova (ITP, 2024)