Fusaoka96'

BibTeX

@inproceedings{DBLP:conf/time/Fusaoka96,
  author    = {Akira Fusaoka},
  title     = {Nonmonotonic Reasoning on a Constructive Time Structure},
  booktitle = {TIME},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}