1. S. Buechler, Lascar strong types in some simple theories, J. Symbolic Logic, to appear.
2. Simple first order theories;Kim,1996
3. B. Kim, Forking in simple unstable theories, J. London Mathematical Society, to appear.
4. A note on Lascar strong types in simple theories;Kim;J. Symbolic Logic,1998
5. Simple theories;Kim;Ann. Pure Appl. Logic,1997