BABEL

1988

• Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: BABEL: A Functional and Logic Programming Language based on Constructor Discipline and Narrowing. ALP 1988: 223-232 BibTeX

1990

• Juan José Moreno-Navarro, Herbert Kuchen, Rita Loogen, Mario Rodríguez-Artalejo: Lazy Narrowing in a Graph Machine. ALP 1990: 298-317 BibTeX

1991

• Rita Loogen, Stephan Winkler: Dynamic Detection of Determinism in Functional Languages. PLILP 1991: 335-346 BibTeX

1992

• Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Logic Programming with Functions and Predicates: The Language BABEL. J. Log. Program. 12(3&4): 191-223(1992) BibTeX
• Herbert Kuchen, Francisco Javier López-Fraguas, Juan José Moreno-Navarro, Mario Rodríguez-Artalejo: Implementing a Lazy Functional Logic Language with Disequality Constraints. JICSLP 1992: 207-221 BibTeX
• Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38 BibTeX

1993

• Juan José Moreno-Navarro, Herbert Kuchen, Julio Mariño-Carballo, Stephan Winkler, Werner Hans: Efficient Lazy Narrowing using Demandedness Analysis. PLILP 1993: 167-183 BibTeX
• Rita Loogen: Relating the Implementation Techniques of Functional and Functional Logic Languages. New Generation Comput. 11(2): 179-215(1993) BibTeX