Give Reasoning a Trie. - Thomas Prokosch; François Bry (PAAR+SC²@IJCAR, 2020)

Unification on the Run. - Thomas Prokosch; François Bry (UNIF, 2020)

A Low-Level Index for Distributed Logic Programming. - Thomas Prokosch (ICLP Technical Communications, 2020)

Automatic Evaluation of Haskell Assignments Using Existing Haskell Tooling. - Thomas Prokosch; Sven Strickroth (ABP, 2023)