@inproceedings{lu-1994-dynamic,
    title = "Dynamic Logic With Possible World",
    author = "Lu, Ruzhan",
    booktitle = "{COLING} 1994 Volume 2: The 15th {I}nternational {C}onference on {C}omputational {L}inguistics",
    year = "1994",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/C94-2207/"
}