A narrowing procedure for theories with constructors

7th International Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0047126 ◽

2006 ◽

pp. 259-281 ◽

Cited By ~ 3

Author(s):

L. Fribourg

Download Full-text