Complexity in the Case against Accuracy: When Building one Function-Free Horn Clause is as Hard as Any.

Richard Nock

Browse the full ALT paper archive.