John P. Gallagher

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Logic-Based Program Synthesis and Transformation

Functional and Logic Programming

The Half-Eaten Boy on the Stairs: A Poem

The Domain (Unabridged)

Things I Never Told My Doctor (Unabridged)