વેયુકરની એન્ટીકોમ્પોઝિશન એક્ઝીઓમ જે આ ક્ષેત્રમાં લેન્ડ માર્ક પરિણામ છે તે 1986 માં સોફ્ટવેર એન્જિનિયરિંગ પર IEEE ટ્રાન્ઝેક્શનમાં દેખાયો હતો.
1986 मध्ये सॉफ्टवेअर इंजिनीरिंग मधील IEEE ट्रान्सक्शन मध्ये या क्षेत्रातील एक महत्त्वाचा परिणाम म्हणजे Weyukar's Anticomposition axiom.