Pattern-Directed Invocation with Changing Equations - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Yishai A. Feldman, Charles Rich. Pattern-Directed Invocation with Changing Equations. Journal of Automated Reasoning, 7(3):403-433, 1991.

@article{FeldmanR91,
  title = {Pattern-Directed Invocation with Changing Equations},
  author = {Yishai A. Feldman and Charles Rich},
  year = {1991},
  researchr = {https://researchr.org/publication/FeldmanR91},
  cites = {0},
  citedby = {0},
  journal = {Journal of Automated Reasoning},
  volume = {7},
  number = {3},
  pages = {403-433},
}

runs on WebDSL