Haskell⁻¹: automatic function inversion in Haskell. - Finn Teegen; Kai-Oliver Prott; Niels Bunkenburg (Haskell, 2021)

A Monadic Implementation of Functional Logic Programs. - Michael Hanus; Kai-Oliver Prott; Finn Teegen (PPDP, 2022)

Embedding Functional Logic Programming in Haskell via a Compiler Plugin. - Kai-Oliver Prott; Finn Teegen; Jan Christiansen (PADL, 2023)