Frandsen, Gudmund Skovbjerg. “Logic Programming, Substitutions and Finite Computability”. DAIMI Report Series 13, no. 186 (January 1, 1985). Accessed December 26, 2025. https://tidsskrift.dk/daimipb/article/view/7459.