The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs. - Zachary S. Rowland; Saverio Perugini (Art Sci. Eng. Program., 2025)