Simple theories, Annals of Pure and Applied Logic 88 (1997)

by Byunghan Kim, Anand Pillay