Choosing directions for rules

• 1 December 1987
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 3  (4) , 395-431
• https://doi.org/10.1007/bf00247437

Abstract

Keywords

• LOGIC PROGRAMMING
• SEARCH
• CONTROL STRATEGY