@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/6589-fix-bug-reordering-bulk-corrections-from-2025-11-14/E03-3005/"
}