Michael Codish, Bart Demoen, Konstantinos Sagonas: Semantics-Based Program Analysis for Logic-Based Languages Using XSB. Int. J. Softw. Tools Technol. Transf. 2(1): 29-45 (1998)