MathMart comments on Computational models of first-order theories