Automatic Recognition of Tractability in Inference Relations
Journal of the ACM - United States
doi 10.1145/151261.151265
Full Text
Open PDFAbstract
Available in full text
Categories
Date
April 1, 1993
Authors
Publisher
Association for Computing Machinery (ACM)