@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}
}