Järvisalo. (2013). Theory and Applications of Satisfiability Testing â€" SAT 2013 (1.). Springer Berlin Heidelberg.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Järvisalo. Theory and Applications of Satisfiability Testing â€" SAT 2013. 1. Springer Berlin Heidelberg, 2013.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Järvisalo. Theory and Applications of Satisfiability Testing â€" SAT 2013. 1. Springer Berlin Heidelberg, 2013.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.