On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming). - Jay Halcomb; Adam Pease (Answer Set Programming, 2001)

Inconsistencies in the Process Specification Language (PSL). - Michael Beeson; Jay Halcomb; Wolfgang Mayer (ATE, 2011)