Difference Unification. Basin, D. A. & Walsh, T. In IJCAI, pages 116-122, 1993. Morgan Kaufmann.
Paper bibtex @inproceedings{conf/ijcai/BasinW93,
added-at = {2012-05-15T00:00:00.000+0200},
author = {Basin, David A. and Walsh, Toby},
biburl = {http://www.bibsonomy.org/bibtex/2670944cce616c55a07a8d8adb33464d0/dblp},
booktitle = {IJCAI},
crossref = {conf/ijcai/1993},
editor = {Bajcsy, Ruzena},
interhash = {0c8b8019a328bfe72fc28529ae943db0},
intrahash = {670944cce616c55a07a8d8adb33464d0},
isbn = {1-55860-300-X},
keywords = {dblp},
pages = {116-122},
publisher = {Morgan Kaufmann},
timestamp = {2013-01-22T11:54:12.000+0100},
title = {Difference Unification.},
url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai93.html#BasinW93},
year = 1993
}
Downloads: 0
{"_id":"KPHhSfb3SZoHfyQjL","bibbaseid":"basin-walsh-differenceunification-1993","downloads":0,"creationDate":"2016-06-06T06:47:32.083Z","title":"Difference Unification.","author_short":["Basin, D. A.","Walsh, T."],"year":1993,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Toby Walsh?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2012-05-15T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Basin"],"firstnames":["David","A."],"suffixes":[]},{"propositions":[],"lastnames":["Walsh"],"firstnames":["Toby"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2670944cce616c55a07a8d8adb33464d0/dblp","booktitle":"IJCAI","crossref":"conf/ijcai/1993","editor":[{"propositions":[],"lastnames":["Bajcsy"],"firstnames":["Ruzena"],"suffixes":[]}],"interhash":"0c8b8019a328bfe72fc28529ae943db0","intrahash":"670944cce616c55a07a8d8adb33464d0","isbn":"1-55860-300-X","keywords":"dblp","pages":"116-122","publisher":"Morgan Kaufmann","timestamp":"2013-01-22T11:54:12.000+0100","title":"Difference Unification.","url":"http://dblp.uni-trier.de/db/conf/ijcai/ijcai93.html#BasinW93","year":"1993","bibtex":"@inproceedings{conf/ijcai/BasinW93,\n added-at = {2012-05-15T00:00:00.000+0200},\n author = {Basin, David A. and Walsh, Toby},\n biburl = {http://www.bibsonomy.org/bibtex/2670944cce616c55a07a8d8adb33464d0/dblp},\n booktitle = {IJCAI},\n crossref = {conf/ijcai/1993},\n editor = {Bajcsy, Ruzena},\n interhash = {0c8b8019a328bfe72fc28529ae943db0},\n intrahash = {670944cce616c55a07a8d8adb33464d0},\n isbn = {1-55860-300-X},\n keywords = {dblp},\n pages = {116-122},\n publisher = {Morgan Kaufmann},\n timestamp = {2013-01-22T11:54:12.000+0100},\n title = {Difference Unification.},\n url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai93.html#BasinW93},\n year = 1993\n}\n\n","author_short":["Basin, D. A.","Walsh, T."],"editor_short":["Bajcsy, R."],"key":"conf/ijcai/BasinW93","id":"conf/ijcai/BasinW93","bibbaseid":"basin-walsh-differenceunification-1993","role":"author","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/ijcai/ijcai93.html#BasinW93"},"keyword":["dblp"],"downloads":0},"search_terms":["difference","unification","basin","walsh"],"keywords":["dblp"],"authorIDs":[],"dataSources":["bNJMXJJ4ihqTFb87D"]}