C. Sassen & P. Kühnlein: The Right Frontier Constraint as Conditional; in: Proceedings of CICLing 2005, Mexico City, Mexico; Springer lncs 3406