Delia Kesner Carlos Lombardi Alejandro Ríos A standardisation proof for algebraic pattern calculi HOR 2010 58-72 http://dx.doi.org/10.4204/EPTCS.49.5 journals/corr/abs-1102-3465 db/series/eptcs/eptcs49.html#abs-1102-3734