@inproceedings{conf/fossacs/ErbaturKMMNR14,
  added-at = {2023-09-19T00:00:00.000+0200},
  author = {Erbatur, Serdar and Kapur, Deepak and Marshall, Andrew M. and Meadows, Catherine and Narendran, Paliath and Ringeissen, Christophe},
  biburl = {https://www.bibsonomy.org/bibtex/2ded685f935570c8a1ff4a9cc2cf761f7/dblp},
  booktitle = {FoSSaCS},
  crossref = {conf/fossacs/2014},
  editor = {Muscholl, Anca},
  ee = {https://doi.org/10.1007/978-3-642-54830-7_18},
  interhash = {b1166e79a19977530b6f009369bfce28},
  intrahash = {ded685f935570c8a1ff4a9cc2cf761f7},
  isbn = {978-3-642-54829-1},
  keywords = {dblp},
  pages = {274-288},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-04-10T19:24:25.000+0200},
  title = {On Asymmetric Unification and the Combination Problem in Disjoint Theories.},
  url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2014.html#ErbaturKMMNR14},
  volume = 8412,
  year = 2014
}

{"_id":"zqjDcE5wKniET7ndG","bibbaseid":"erbatur-kapur-marshall-meadows-narendran-ringeissen-onasymmetricunificationandthecombinationproblemindisjointtheories-2014","author_short":["Erbatur, S.","Kapur, D.","Marshall, A. M.","Meadows, C.","Narendran, P.","Ringeissen, C."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-09-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Erbatur"],"firstnames":["Serdar"],"suffixes":[]},{"propositions":[],"lastnames":["Kapur"],"firstnames":["Deepak"],"suffixes":[]},{"propositions":[],"lastnames":["Marshall"],"firstnames":["Andrew","M."],"suffixes":[]},{"propositions":[],"lastnames":["Meadows"],"firstnames":["Catherine"],"suffixes":[]},{"propositions":[],"lastnames":["Narendran"],"firstnames":["Paliath"],"suffixes":[]},{"propositions":[],"lastnames":["Ringeissen"],"firstnames":["Christophe"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ded685f935570c8a1ff4a9cc2cf761f7/dblp","booktitle":"FoSSaCS","crossref":"conf/fossacs/2014","editor":[{"propositions":[],"lastnames":["Muscholl"],"firstnames":["Anca"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-642-54830-7_18","interhash":"b1166e79a19977530b6f009369bfce28","intrahash":"ded685f935570c8a1ff4a9cc2cf761f7","isbn":"978-3-642-54829-1","keywords":"dblp","pages":"274-288","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-04-10T19:24:25.000+0200","title":"On Asymmetric Unification and the Combination Problem in Disjoint Theories.","url":"http://dblp.uni-trier.de/db/conf/fossacs/fossacs2014.html#ErbaturKMMNR14","volume":"8412","year":"2014","bibtex":"@inproceedings{conf/fossacs/ErbaturKMMNR14,\n added-at = {2023-09-19T00:00:00.000+0200},\n author = {Erbatur, Serdar and Kapur, Deepak and Marshall, Andrew M. and Meadows, Catherine and Narendran, Paliath and Ringeissen, Christophe},\n biburl = {https://www.bibsonomy.org/bibtex/2ded685f935570c8a1ff4a9cc2cf761f7/dblp},\n booktitle = {FoSSaCS},\n crossref = {conf/fossacs/2014},\n editor = {Muscholl, Anca},\n ee = {https://doi.org/10.1007/978-3-642-54830-7_18},\n interhash = {b1166e79a19977530b6f009369bfce28},\n intrahash = {ded685f935570c8a1ff4a9cc2cf761f7},\n isbn = {978-3-642-54829-1},\n keywords = {dblp},\n pages = {274-288},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-04-10T19:24:25.000+0200},\n title = {On Asymmetric Unification and the Combination Problem in Disjoint Theories.},\n url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2014.html#ErbaturKMMNR14},\n volume = 8412,\n year = 2014\n}\n\n","author_short":["Erbatur, S.","Kapur, D.","Marshall, A. M.","Meadows, C.","Narendran, P.","Ringeissen, C."],"editor_short":["Muscholl, A."],"key":"conf/fossacs/ErbaturKMMNR14","id":"conf/fossacs/ErbaturKMMNR14","bibbaseid":"erbatur-kapur-marshall-meadows-narendran-ringeissen-onasymmetricunificationandthecombinationproblemindisjointtheories-2014","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-642-54830-7_18","Paper":"http://dblp.uni-trier.de/db/conf/fossacs/fossacs2014.html#ErbaturKMMNR14"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Meadows?items=1000","dataSources":["8G4iFLj8NuzKYiymR"],"keywords":["dblp"],"search_terms":["asymmetric","unification","combination","problem","disjoint","theories","erbatur","kapur","marshall","meadows","narendran","ringeissen"],"title":"On Asymmetric Unification and the Combination Problem in Disjoint Theories.","year":2014}