@article{361573, url = {http://digitallibrary.un.org/record/361573}, title = {Lecture notes on logical foundations for duration calculus}, publisher = {UN University :}, recid = {361573}, pages = {i, 45 p.}, address = {Tokyo :. 1993-08}, year = {1993}, month = {Aug}, }