Next: 4.1 The Proof Trace
Up: Towards Understanding and Harnessing
Previous: 3.7 Fast Backtracking and
Contents
Sorry, this requires a browser that supports frames!
Try node21_ct.html instead.
Journal of Artificial Intelligence Research 22 (2004). Copyright AI Access Foundation. All rights reserved.