"dLι: Definite Descriptions in Differential Dynamic Logic."

Brandon Bohrer, Manuel Fernández, André Platzer (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics