- Lee Naish. Probabilistic Declarative Debugging. Journal of Functional and Logic Programming, 2008, 2008.
- Norihiro Kamide. A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. Journal of Functional and Logic Programming, 2007, 2007.
- Miguel García-Díaz, Susana Nieva. Formalizing Two Fixed Point Semantics for HH(C). Journal of Functional and Logic Programming, 2004, 2004.
- Nicolas Peltier. A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Functions and Built-in Predicates. Journal of Functional and Logic Programming, 2004, 2004.
- Michael Hanus. Dynamic Predicates in Functional Logic Programs. Journal of Functional and Logic Programming, 2004, 2004.
- Bernd Braßel, Michael Hanus, Frank Huch. Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming, 2004, 2004.
- Olivier Danvy, Ulrik Pagh Schultz. Lambda-Lifting in Quadratic Time. Journal of Functional and Logic Programming, 2004, 2004.
- Mauricio Osorio, Juan Carlos Nieves, Bharat Jayaraman. Aggregation in Functional Query Languages. Journal of Functional and Logic Programming, 2004, 2004.
- Zhenjiang Hu, Mario Rodríguez-Artalejo. Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming, 2003, 2003.
- Rafael Caballero, Francisco Javier López-Fraguas. Improving Deterministic Computations in Lazy Functional Logic Languages. Journal of Functional and Logic Programming, 2003, 2003.