N. Ferry, A. Omerovic, and M. Natvig. CLOSER (Selected Papers), volume 1218 of Communications in Computer and Information Science, page 87-100. Springer, (2019)
A. Ferry. Structural Complexity and Recursion-theoretic methods in Logic-Programming, page 45-68. Mathematical Sciences Institute, Cornell University, (1992)