Next: 3.6.1 The FirstNewCut Scheme
Up: 3 A Formal Framework
Previous: 3.5 Trivial Resolution and
Contents
Sorry, this requires a browser that supports frames!
Try node18_ct.html instead.
Journal of Artificial Intelligence Research 22 (2004). Copyright AI Access Foundation. All rights reserved.