First order compiler: A deterministic logic program synthesis algorithm
scientific article; zbMATH DE number 4135390
scientific article