इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें परिणाम पहली बार 1990 में ब्रूनो Courcelle द्वारा सिद्ध किया गया था और स्वतंत्र रूप से द्वारा फिर से खोजा गया था।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "परिणाम पहली बार 1990 में ब्रूनो कोर्सेल द्वारा सिद्ध किया गया था और इसे एल्गोरिथम मेटा-प्रमेय का मूल रूप माना जाता है".