Sergio, Antoy; 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.
Sergio, Antoy; 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.