APA (7th ed.) Citation

Lahav, O., & Zohar, Y. (2014). SAT-Based Decision Procedure for Analytic Pure Sequent Calculi. Automated Reasoning, 76-90. https://doi.org/10.1007/978-3-319-08587-6_6

Chicago Style (17th ed.) Citation

Lahav, Ori, and Yoni Zohar. "SAT-Based Decision Procedure for Analytic Pure Sequent Calculi." Automated Reasoning 2014: 76-90. https://doi.org/10.1007/978-3-319-08587-6_6.

MLA (9th ed.) Citation

Lahav, Ori, and Yoni Zohar. "SAT-Based Decision Procedure for Analytic Pure Sequent Calculi." Automated Reasoning, 2014, pp. 76-90, https://doi.org/10.1007/978-3-319-08587-6_6.