Abdelrahman Elfaki, A. O. (2010). Automated Validation Of Software Product Lines Using First Order Logic Rules.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Abdelrahman Elfaki, Abdelrahman Osman. Automated Validation Of Software Product Lines Using First Order Logic Rules. 2010.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Abdelrahman Elfaki, Abdelrahman Osman. Automated Validation Of Software Product Lines Using First Order Logic Rules. 2010.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.