APA Citation

Semukhin, P., Stephan, F., & MATHEMATICS. (2014). Automatic models of first order theories.

Chicago Style Citation

Semukhin, P., F. Stephan, and MATHEMATICS. Automatic Models of First Order Theories. 2014.

MLA Citation

Semukhin, P., F. Stephan, and MATHEMATICS. Automatic Models of First Order Theories. 2014.

Warning: These citations may not always be 100% accurate.