Semantics-based program analysis for logic-based languages using XSB
scientific article; zbMATH DE number 1862289