"XSB as the Natural Habitat for General Purpose Program Analysis."

Michael Codish, Bart Demoen, Konstantinos Sagonas (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics