APA Citation

Zeljić, A., Wintersteiger, C. M., & Rümmer, P. (2016). An Approximation Framework for Solvers and Decision Procedures. J Autom Reason.

Citação norma Chicago

Zeljić, Aleksandar, Christoph M. Wintersteiger, and Philipp Rümmer. "An Approximation Framework for Solvers and Decision Procedures." J Autom Reason 2016.

MLA Citation

Zeljić, Aleksandar, Christoph M. Wintersteiger, and Philipp Rümmer. "An Approximation Framework for Solvers and Decision Procedures." J Autom Reason 2016.

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