Schema-Based Transformations of Logic Programs in lambda-Prolog. - Petr Olmer; Petr Stepánek (ICLP, 2002)