@inproceedings{ebb8e6b076c211de973f000ea68e967b,
title = "Towards a diagrammatic formulation of modal and temporal logic: working notes",
author = "Troels Andreasen and P. {\O}hrstr{\o}m",
note = "Technical Report FS-99-02; AAAI'99 Fall Symposium on Question Answering Systems ; Conference date: 04-11-1999 Through 05-11-1999",
year = "1999",
language = "English",
isbn = "978-1-57735-104-7",
pages = "61--67",
editor = "Vinay Chaudhri and Richard Fikes",
booktitle = "Question answering systems",
publisher = "AAAI Press",
address = "United States",
}