Steven Buechler Vaught's conjecture for superstable theories of finite rank. 135-172 2008 155 Ann. Pure Appl. Logic 3 http://dx.doi.org/10.1016/j.apal.2008.03.004 db/journals/apal/apal155.html#Buechler08