APA Цитирование

Baumgartner, A., Kutsia, T., Levy, J., & Villaret, M. (2016). Higher-Order Pattern Anti-Unification in Linear Time. J Autom Reason.

Chicago-стиль цитирования

Baumgartner, Alexander, Temur Kutsia, Jordi Levy, and Mateu Villaret. "Higher-Order Pattern Anti-Unification in Linear Time." J Autom Reason 2016.

MLA-цитирование

Baumgartner, Alexander, Temur Kutsia, Jordi Levy, and Mateu Villaret. "Higher-Order Pattern Anti-Unification in Linear Time." J Autom Reason 2016.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.