Author:
Backeman Peter,Rümmer Philipp
Publisher
Springer International Publishing
Reference13 articles.
1. Backeman, P., Rümmer, P.: Efficient algorithms for bounded rigid E-Unification. In: Tableaux. LNCS. Springer (to appear, 2015)
2. Backeman, P., Rümmer, P.: Theorem proving with bounded rigid E-Unification. In: CADE. LNCS. Springer (to appear, 2015)
3. Lecture Notes in Computer Science;A. Degtyarev,1996
4. Degtyarev, A., Voronkov, A.: What you always wanted to know about rigid E-Unification. J. Autom. Reasoning 20(1), 47–80 (1998)
5. Degtyarev, A., Voronkov, A.: Equality reasoning in sequent-based calculi. In: Handbook of Automated Reasoning, vol. 2. Elsevier and MIT Press (2001)