Translation of logic programs into functional fixpoint equations
scientific article; zbMATH DE number 4116012
scientific article