इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें उन्होंने 2001 में स्वचालित तर्क के लिए विशिष्ट योगदान के लिए Herbrand पुरस्कार प्राप्त किया।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "उन्होंने 2001 में स्वचालित तर्क के लिए विशिष्ट योगदान के लिए Herbrand पुरस्कार प्राप्त किया और एसोसिएशन ऑफ आर्टिफिशियल इंटेलिजेंस (1993) के एक साथी हैं। "