The linked inference principle, II: The user's viewpoint

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

10.1007/bfb0047129 ◽

2006 ◽

pp. 316-332

Author(s):

L. Wos ◽

R. Veroff ◽

B. Smith ◽

W. McCune

Download Full-text