Church-Rosser Made Easy.

Published in: Fundam. Informaticae (2010)