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