System Feature Description: Importing Refutations into the GAPT Framework. - Cvetan Dunchev; Alexander Leitsch; Tomer Libal; Martin Riener; Mikheil Rukhaia; Daniel Weller 001; Bruno Woltzenlogel Paleo (PxTP, 2012)

PROOFTOOL: a GUI for the GAPT Framework. - Cvetan Dunchev; Alexander Leitsch; Tomer Libal; Martin Riener; Mikheil Rukhaia; Daniel Weller 001; Bruno Woltzenlogel Paleo (UITP, 2012)

Understanding Resolution Proofs through Herbrand's Theorem. - Stefan Hetzl; Tomer Libal; Martin Riener; Mikheil Rukhaia (TABLEAUX, 2013)

Cut-Elimination and Proof Schemata. - Cvetan Dunchev; Alexander Leitsch; Mikheil Rukhaia; Daniel Weller 001 (TbiLLC, 2013)

CERES for First-Order Schemata - Cvetan Dunchev; Alexander Leitsch; Mikheil Rukhaia; Daniel Weller 001 (CoRR, 2013)

Advanced Proof Viewing in ProofTool. - Tomer Libal; Martin Riener; Mikheil Rukhaia (UITP, 2014)

Unranked Nominal Unification. - Besik Dundua; Temur Kutsia; Mikheil Rukhaia (TbiLLC, 2019)

Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies. - Irakli O. Chitaia; Roland Sh. Omanadze; Mikheil Rukhaia (e-Science, 2023)

Enumerating All Maximal Clique-Partitions of an Undirected Graph. - Mircea Marin; Temur Kutsia; Cleo Pau; Mikheil Rukhaia (FROM, 2023)

Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. - Mircea Marin; Peter Csaba Ölveczky; Mario Reja; Mikheil Rukhaia; Kyungmin Bae (Rebeca for Actor Analysis in Action, 2025)