Steven Buechler Lascar Strong Types in Some Simple Theories. 817-824 1999 64 J. Symb. Log. 2 db/journals/jsyml/jsyml64.html#Buechler99