Kruglov, Evgeny; Weidenbach, Christoph Superposition decides the first-order logic fragment over ground theories. (English) Zbl 1262.68160 Math. Comput. Sci. 6, No. 4, 427-456 (2012). MSC: 68T15 03B25 × Cite Format Result Cite Review PDF Full Text: DOI
Fietzke, Arnaud; Weidenbach, Christoph Superposition as a decision procedure for timed automata. (English) Zbl 1262.68159 Math. Comput. Sci. 6, No. 4, 409-425 (2012). MSC: 68T15 03B25 × Cite Format Result Cite Review PDF Full Text: DOI