APA Citation

Benzmüller, C., Sultana, N., Paulson, L. C., & Theiß, F. (2015). The Higher-Order Prover Leo-II. J Autom Reason.

Citação norma Chicago

Benzmüller, Christoph, Nik Sultana, Lawrence C. Paulson, and Frank Theiß. "The Higher-Order Prover Leo-II." J Autom Reason 2015.

MLA Citation

Benzmüller, Christoph, Nik Sultana, Lawrence C. Paulson, and Frank Theiß. "The Higher-Order Prover Leo-II." J Autom Reason 2015.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.