APA (7th ed.) Citation

FSCD Oxford & Miller, D. (2017). 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing.

Chicago Style (17th ed.) Citation

FSCD Oxford and Dale Miller. 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Saarbrücken/Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017.

MLA (9th ed.) Citation

FSCD Oxford and Dale Miller. 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2017.