Sergio, Antoy; Hanus, Michael (2010). "Functional Logic Programming". Communications of the ACM. 53 (4). ACM: 74–85. doi:10.1145/1721654.1721675. S2CID14578759.
Hanus, Michael (2013). "Functional Logic Programming: From Theory to Curry". Programming Logics - Essays in Memory of Harald Ganzinger. Lecture Notes in Computer Science. Vol. 7797. pp. 123–168. doi:10.1007/978-3-642-37651-1_6. ISBN978-3-642-37650-4.
Antoy, Sergio; Hanus, Michael (2006). "Declarative Programming with Function Patterns". Logic Based Program Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 3901. pp. 6–22. doi:10.1007/11680093_2. ISBN978-3-540-32654-0.
Antoy, Sergio; Hanus, Michael (2006). "Overlapping Rules and Logic Variables in Functional Logic Programs". Logic Programming. Lecture Notes in Computer Science. Vol. 4079. pp. 87–101. doi:10.1007/11799573_9. ISBN978-3-540-36635-5.
Robinson, John Alan (2000). "Computational Logic: Memories of the Past and Challenges for the Future". First International Conference on Computational Logic (CL 2000). Lecture Notes in Computer Science. Vol. 1861. pp. 1–24. doi:10.1007/3-540-44957-4_1. ISBN978-3-540-67797-0.