A Gradual Polymorphic Type System with Subtyping for Prolog. - Spyros Hadjichristodoulou (ICLP (Technical Communications), 2012)

Probabilistic Logic Programming with Well-Founded Negation. - Spyros Hadjichristodoulou; David Scott Warren (ISMVL, 2012)

Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB. - Spyros Hadjichristodoulou; Donald E. Porter; David Scott Warren (CoRR, 2013)

Who Shaves the Barber, and with What Probability? - Spyros Hadjichristodoulou; David Scott Warren (J. Multiple Valued Log. Soft Comput., 2014)