State Representation and Termination for Recursive Reasoning Systems
تقترح هذه الورقة إطاراً لأنظمة الاستدلال التكراري يمثل حالة الاستدلال المتطورة كـرسم بياني للحالة المعرفية، وتُقدم مقياس "فجوة الرتبة" (order-gap) كشرط محلي، وضروري وكافٍ لتحديد متى يكون من غير المرجح أن تؤدي التكرارات الإضافية إلى تحسينات.