An Abstract Property of Confluence Applied to the Study of the Lazy Partial Lambda Calculus. - Ramón Pino Pérez; Christian Even (LFCS, 1994)