Choosing Directions for Rules
Journal of Automated Reasoning - Netherlands
doi 10.1007/bf00247437
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 1987
Authors
Publisher
Springer Science and Business Media LLC
Available in full text
December 1, 1987
Springer Science and Business Media LLC