A simple optimizer for FP-like languages. - Noorul Islam; Thomas J. Myers; Paul Broome (FPCA, 1981)

Proofs about Programs in Classical Set Theory. - Paul Broome (ICLP Workshop on Logic Programming with Sets, 1993)

Combinatory Logic Programming: Computing in Relation Calculi. - Paul Broome; James Lipton (ILPS, 1994)