APA (7th ed.) Citation

FSCD Oxford & Kirchner, H. (2018). 3rd International Conference on Formal Structures for Computation and Deduction: FSCD 2018, July 9-12, 2018, Oxford, United Kingdom. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2018.0

Chicago Style (17th ed.) Citation

FSCD Oxford and Hélène Kirchner. 3rd International Conference on Formal Structures for Computation and Deduction: FSCD 2018, July 9-12, 2018, Oxford, United Kingdom. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018. https://doi.org/10.4230/LIPIcs.FSCD.2018.0.

MLA (9th ed.) Citation

FSCD Oxford and Hélène Kirchner. 3rd International Conference on Formal Structures for Computation and Deduction: FSCD 2018, July 9-12, 2018, Oxford, United Kingdom. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018. https://doi.org/10.4230/LIPIcs.FSCD.2018.0.