@article{oai:repository.dl.itc.u-tokyo.ac.jp:00048955,
 author = {SEKINE, Kyoko and IMAI, Hiroshi},
 issue = {4},
 journal = {IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences},
 month = {Apr},
 note = {Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)},
 pages = {682--688},
 title = {Counting the Number of Paths in a Graph via BDDs},
 volume = {E80-A},
 year = {1997}
}