@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/jlcl-multiple-ingestion/E03-3005/"
}