A Higher-Order Removal Method - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Wei-Ngan Chin, John Darlington. A Higher-Order Removal Method. Higher-Order and Symbolic Computation, 9(4):287-322, 1996.

@article{ChinD96,
  title = {A Higher-Order Removal Method},
  author = {Wei-Ngan Chin and John Darlington},
  year = {1996},
  researchr = {https://researchr.org/publication/ChinD96},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {9},
  number = {4},
  pages = {287-322},
}

runs on WebDSL