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

{"_id":{"_str":"5342c88c0e946d920a003735"},"__v":16,"authorIDs":["545767712abc8e9f37000374"],"author_short":["Scherl, R. B.","MacNish, C.","Pearce, D.","Pereira, L. M."],"bibbaseid":"scherl-macnish-pearce-pereira-equalityandconstrainedresolution-1994","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Richard","B."],"propositions":[],"lastnames":["Scherl"],"suffixes":[]},{"firstnames":["C."],"propositions":[],"lastnames":["MacNish"],"suffixes":[]},{"firstnames":["D."],"propositions":[],"lastnames":["Pearce"],"suffixes":[]},{"firstnames":["L.","M."],"propositions":[],"lastnames":["Pereira"],"suffixes":[]}],"title":"Equality and Constrained Resolution","series":"LNAI","booktitle":"Logics in AI: European Workshop JELIA'94","pages":"167-181","volume":"838","year":"1994","bibtex":"@incollection{ Scherl/94/Equality,\n author = {Richard B. Scherl and C. MacNish and D. Pearce and L. M. Pereira},\n title = {Equality and Constrained Resolution},\n series = {LNAI},\n booktitle = {Logics in AI: European Workshop JELIA'94},\n pages = {167-181},\n volume = {838} ,\n year = {1994}\n}\n\n\n","author_short":["Scherl, R. B.","MacNish, C.","Pearce, D.","Pereira, L. M."],"key":"Scherl/94/Equality","id":"Scherl/94/Equality","bibbaseid":"scherl-macnish-pearce-pereira-equalityandconstrainedresolution-1994","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"incollection","biburl":"http://data.bibbase.org/provenance/httpwwwcsyorkacukfrischkrrgbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["equality","constrained","resolution","scherl","macnish","pearce","pereira"],"title":"Equality and Constrained Resolution","year":1994,"dataSources":["aWoXKdFNdx2gZ47qg"]}