Michael Codish, Bart Demoen, Konstantinos Sagonas: XSB as the Natural Habitat for General Purpose Program Analysis. ICLP 1997: 416