Modular Higher-Order Equational Preunification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zhenyu Qian, Kang Wang. Modular Higher-Order Equational Preunification. Journal of Symbolic Computation, 22(4):401-424, 1996.

@article{QianW96,
  title = {Modular Higher-Order Equational Preunification},
  author = {Zhenyu Qian and Kang Wang},
  year = {1996},
  researchr = {https://researchr.org/publication/QianW96},
  cites = {0},
  citedby = {0},
  journal = {Journal of Symbolic Computation},
  volume = {22},
  number = {4},
  pages = {401-424},
}

runs on WebDSL