@inproceedings{fernandez-2003-dynamic,
    title = "A Dynamic Logic Formalisation of the Dialogue Gameboard",
    author = "Fern{\'a}ndez, Raquel",
    booktitle = "Student Research Workshop",
    year = "2003",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/E03-3005/"
}