Skip Nav Destination
Logic Programming
Logic Programming: The 1995 International Symposium
Edited by
The MIT Press
ISBN electronic:
9780262291248
Publication date:
1995
Book Chapter
Optimizing Clause Resolution: Beyond Unification Factoring
-
Published:1995
Citation
Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift, 1995. "Optimizing Clause Resolution: Beyond Unification Factoring", Logic Programming: The 1995 International Symposium, John W. Lloyd
Download citation file:
You do not currently have access to this chapter.
Sign in
Don't already have an account? Register
Client Account
You could not be signed in. Please check your email address / username and password and try again.
Could not validate captcha. Please try again.