Automatic models of first order theories - Semukhin, P. (2014)
10.1016/j.apal.2013.03.001