Journal of Functional and Logic Programming, Volume 1997

Volume 1997, Number 1, 1997

• Makoto Hamana: Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language.

Volume 1997, Number 2, 1997

• Neil D. Jones, Mads Rosendahl: Higher-Order Minimal Function Graphs.

Volume 1997, Number 3, 1997

• Lee Naish: A Declarative Debugging Scheme.

Volume 1997, Number 4, 1997

• Delia Kesner: Reasoning about Redundant Patterns.

Volume 1997, Number 5, 1997

• Mourad Debbabi, Zahia Aïdoud, Ali Faour: On the Inference od Structured Recursive Effects with Subtyping.

Volume 1997, Number 6, 1997

• Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi: Abstracting Synchronization in Concurrent Constraint Programming.

Volume 1997, Number 7, 1997

• Puri Arenas-Sánchez, Agostino Dovier: A Minimality Study for Set Unification.