  We give a Matsumoto-type presentation of $K_2$-groups over rings of
non-commutative Laurent polynomials, which is a non-commutative version of M.
Tomie's result for loop groups. Our main idea is due to U. Rehmann's approach
in case of division rings.
