Publications & Reports

Kristoffer Just Arndal Andersen and Ilya Sergey.

Journal of Functional Programming, 31, E3, 2021. 2021

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Logical Methods in Computer Science, July 28, 2022, Volume 18, Issue 3. 2022

Wilmer Ricciotti and James Cheney.

Journal of  Automated Reasoning 66, 989–1030. 2022