March 2023
formal semantics of logic programming languages
a formal definition of stratification
Syntax and semantics of logic programming