Visualizing the turing tarpit. - Jason Hemann; Eric Holk (FARM@ICFP, 2013)

A small embedding of logic programming with a simple complete search. - Jason Hemann; Daniel P. Friedman; William E. Byrd; Matthew Might (DLS, 2016)

A Simple Complete Search for Logic Programming. - Jason Hemann; Daniel P. Friedman; William E. Byrd; Matthew Might (ICLP (Technical Communications), 2017)

A Framework for Extending microKanren with Constraints. - Jason Hemann; Daniel P. Friedman (WLP / WFLP, 2017)

Nearly Macro-free microKanren. - Jason Hemann; Daniel P. Friedman (TFP, 2023)

Six Ways to Implement Divisibility by Three in miniKanren. - Brett Schreiber; Brysen Pfingsten; Jason Hemann (CoRR, 2024)

Compiled, Extensible, Multi-language DSLs (Functional Pearl). - Michael Ballantyne; Mitch Gamburg; Jason Hemann (Proc. ACM Program. Lang., 2024)

Multi-stage Relational Programming. - Michael Ballantyne; Rafaello Sanna; Jason Hemann; William E. Byrd; Nada Amin (Proc. ACM Program. Lang., 2025)