Computation Trees and Transformations of Logic Programs.

Olga Stepánková Petr Stepánek Computation Trees and Transformations of Logic Programs. 53-63 1984 ICLP db/conf/iclp/iclp84.html#StepankovaS84