Logic Programming: From Underspecification to Undefinedness. - Lee Naish; Harald Søndergaard; Benjamin Horsfall (CATS, 2012)

Four-Valued Reasoning and Cyclic Circuits. - Graeme Gange; Benjamin Horsfall; Lee Naish; Harald Søndergaard (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Automated reasoning for reflective programs. - Benjamin Horsfall (2014)