Logic programming as classical inference
denotational semantics of logic programs
\(\kappa\)-structures and \(\kappa\)-formulas
scientific article; zbMATH DE number 6522459
scientific article