Lin Chen A selected tour of the theory of identification matrices. 299-318 2000 240 Theor. Comput. Sci. 2 db/journals/tcs/tcs240.html#Chen00a http://dx.doi.org/10.1016/S0304-3975(99)00236-4