Author:
Chubarov Dimitri,Voronkov Andrei
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. ch. 10;A. Degtyarev,2001
2. Gallier, J.H., Raatz, S., Snyder, W.: Theorem proving using rigid E-unification: Equational matings. In: Proc. IEEE Conference on Logic in Computer Science (LICS), pp. 338–346. IEEE Computer Society Press, Los Alamitos (1987)
3. Gurevich, Y.: The decision problem for the logic of predicates and operations, vol. 8, pp. 284–308 (1969)
4. Hodges, W.: Model theory. Cambridge University Press, Cambridge (1993)
5. Lewis, H.: Complexity results for classes of quantificational formulas. Journal of Computer and System Sciences 21, 317–353 (1980)