Regular Systems in lambda-Calculus