Ehrenfeucht-Fraïssé goes automatic for real addition
automata-based decision procedures for logical theories
scientific article; zbMATH DE number 5804331
scientific article