Felix Lindner, Martin Mose Bentzen: A Formalization of Kant's Second Formulation of the Categorical Imperative. DEON 2018: 211-225