BibTeX record journals/lisp/MatsudaIN12

download as .bib file

@article{DBLP:journals/lisp/MatsudaIN12,
  author    = {Kazutaka Matsuda and
               Kazuhiro Inaba and
               Keisuke Nakano},
  title     = {Polynomial-time inverse computation for accumulative functions with
               multiple data traversals},
  journal   = {High. Order Symb. Comput.},
  volume    = {25},
  number    = {1},
  pages     = {3--38},
  year      = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics