Bradd Hart Byunghan Kim Anand Pillay Coordinatisation and Canonical Bases in Simple Theories. 293-309 2000 65 J. Symb. Log. 1 db/journals/jsyml/jsyml65.html#HartKP00