توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Benzmüller, C., Farjami, A., Fuenmayor, D., Meder, P., Parent, X., Steen, A., . . . Zahoransky, V. (2020). LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). Elsevier.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Benzmüller, Christoph, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, و Valeria Zahoransky. LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Elsevier, 2020.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Benzmüller, Christoph, et al. LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Elsevier, 2020.

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.