Peitl, T., Slivovsky, F., & Szeider, S. (2018). Long-Distance Q-Resolution with Dependency Schemes. J Autom Reason.
استشهاد بنمط شيكاغوPeitl, Tomáš, Friedrich Slivovsky, و Stefan Szeider. "Long-Distance Q-Resolution With Dependency Schemes." J Autom Reason 2018.
MLA استشهادPeitl, Tomáš, Friedrich Slivovsky, و Stefan Szeider. "Long-Distance Q-Resolution With Dependency Schemes." J Autom Reason 2018.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.