AITEC Contract Research Projects in FY1997 : Final Report

(4) Distributed Constraint Solving for Functional Logic Programming

Principal Investigator :	Dr. Bruno Buchberger, Professor
	Research Institute for Symbolic Computation (RISC-Linz)