Nankai, CIM and Utah U. We present the (constrained) canonical reduction of four dimensional self-dual Yang-Mills theory to two dimensional sine-Gordon and Liouville field theories: The Dirac brackets ...