• 326.0AR, VL Automated Reasoning, Teimuraz Kutsia / Tudor Jebelean, 2021W (2021W3260AR)
  • 326.109, UE Automated Reasoning, Teimuraz Kutsia / Tudor Jebelean, 2021W (2021W326109)