Representing Functional Logic Computations

by Sergio Antoy , Michael Hanus , Sunita Marathe