Equality and Constrained Resolution. Scherl, R. B.; MacNish, C.; Pearce, D.; and Pereira, L. M. In Logics in AI: European Workshop JELIA'94, volume 838, of LNAI, pages 167-181. 1994.
bibtex   
@incollection{ Scherl/94/Equality,
  author    = {Richard B. Scherl and C. MacNish and D. Pearce and L. M. Pereira},
  title     = {Equality and Constrained Resolution},
  series   = {LNAI},
  booktitle   = {Logics in AI: European Workshop JELIA'94},
  pages   = {167-181},
  volume   = {838} ,
  year   = {1994}
}
Downloads: 0