@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00002176,
 author = {Nakamura, Hiroshi},
 month = {Mar},
 title = {Logic Design Assistance System based on Temporal Logic},
 year = {1990}
}