Curry (programming language) (English Wikipedia)

Sergio, Antoy; Hanus, Michael (2010). "Functional Logic Programming". Communications of the ACM. 53 (4). ACM: 74–85. doi:10.1145/1721654.1721675. S2CID 14578759.
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. ISBN 978-3-642-37650-4.
Sergio, Antoy; Echahed, Rachid; Hanus, Michael (2000). "A Needed Narrowing Strategy". Journal of the ACM. 47 (4). ACM: 776–822. doi:10.1145/347476.347484. hdl:11858/00-001M-0000-0014-B494-9. ISSN 0004-5411. S2CID 47275506.
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. ISBN 978-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. ISBN 978-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. ISBN 978-3-540-67797-0.

handle.net (Global: 102^nd place; English: 76^th place)

Sergio, Antoy; Echahed, Rachid; Hanus, Michael (2000). "A Needed Narrowing Strategy". Journal of the ACM. 47 (4). ACM: 776–822. doi:10.1145/347476.347484. hdl:11858/00-001M-0000-0014-B494-9. ISSN 0004-5411. S2CID 47275506.

Sergio, Antoy; Hanus, Michael (2010). "Functional Logic Programming". Communications of the ACM. 53 (4). ACM: 74–85. doi:10.1145/1721654.1721675. S2CID 14578759.
Sergio, Antoy; Echahed, Rachid; Hanus, Michael (2000). "A Needed Narrowing Strategy". Journal of the ACM. 47 (4). ACM: 776–822. doi:10.1145/347476.347484. hdl:11858/00-001M-0000-0014-B494-9. ISSN 0004-5411. S2CID 47275506.

Sergio, Antoy; Echahed, Rachid; Hanus, Michael (2000). "A Needed Narrowing Strategy". Journal of the ACM. 47 (4). ACM: 776–822. doi:10.1145/347476.347484. hdl:11858/00-001M-0000-0014-B494-9. ISSN 0004-5411. S2CID 47275506.