Combining Shostak Theories

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-45610-4_1 ◽

2002 ◽

pp. 1-18 ◽

Cited By ~ 22

Author(s):

Natarajan Shankar ◽

Harald Rueß

Download Full-text