@article{qian-etal-2016-modal,
    title = "Modal Subordination in Type Theoretic Dynamic Logic",
    author = "Qian, Sai  and
      de Groote, Philippe  and
      Amblard, Maxime",
    journal = "Linguistic Issues in Language Technology",
    volume = "14",
    number = "1",
    month = "sept",
    year = "2016",
    publisher = "CSLI Publications",
    url = "https://aclanthology.org/2016.lilt-14.2/"
}