@article{journals/logcom/KaminskiMT98,
  added-at = {2011-06-29T00:00:00.000+0200},
  author = {Kaminski, Michael and Makowsky, Johann A. and Tiomkin, Michael L.},
  biburl = {http://www.bibsonomy.org/bibtex/29ffea026cae0e16d4d3c3b555f60df43/dblp},
  ee = {http://dx.doi.org/10.1093/logcom/8.2.169},
  interhash = {ef24882870cfe38cda29bffc5d6ed145},
  intrahash = {9ffea026cae0e16d4d3c3b555f60df43},
  journal = {J. Log. Comput.},
  keywords = {dblp},
  number = 2,
  pages = {169-187},
  timestamp = {2011-06-30T11:39:13.000+0200},
  title = {Extensions for Open Default Theories via the Domain Closure Assumption.},
  url = {http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#KaminskiMT98},
  volume = 8,
  year = 1998
}

{"_id":"XXis3iq54kSg6PuDF","bibbaseid":"kaminski-makowsky-tiomkin-extensionsforopendefaulttheoriesviathedomainclosureassumption-1998","downloads":0,"creationDate":"2016-04-12T13:16:34.138Z","title":"Extensions for Open Default Theories via the Domain Closure Assumption.","author_short":["Kaminski, M.","Makowsky, J. A.","Tiomkin, M. L."],"year":1998,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2011-06-29T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Makowsky"],"firstnames":["Johann","A."],"suffixes":[]},{"propositions":[],"lastnames":["Tiomkin"],"firstnames":["Michael","L."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/29ffea026cae0e16d4d3c3b555f60df43/dblp","ee":"http://dx.doi.org/10.1093/logcom/8.2.169","interhash":"ef24882870cfe38cda29bffc5d6ed145","intrahash":"9ffea026cae0e16d4d3c3b555f60df43","journal":"J. Log. Comput.","keywords":"dblp","number":"2","pages":"169-187","timestamp":"2011-06-30T11:39:13.000+0200","title":"Extensions for Open Default Theories via the Domain Closure Assumption.","url":"http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#KaminskiMT98","volume":"8","year":"1998","bibtex":"@article{journals/logcom/KaminskiMT98,\n added-at = {2011-06-29T00:00:00.000+0200},\n author = {Kaminski, Michael and Makowsky, Johann A. and Tiomkin, Michael L.},\n biburl = {http://www.bibsonomy.org/bibtex/29ffea026cae0e16d4d3c3b555f60df43/dblp},\n ee = {http://dx.doi.org/10.1093/logcom/8.2.169},\n interhash = {ef24882870cfe38cda29bffc5d6ed145},\n intrahash = {9ffea026cae0e16d4d3c3b555f60df43},\n journal = {J. Log. Comput.},\n keywords = {dblp},\n number = 2,\n pages = {169-187},\n timestamp = {2011-06-30T11:39:13.000+0200},\n title = {Extensions for Open Default Theories via the Domain Closure Assumption.},\n url = {http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#KaminskiMT98},\n volume = 8,\n year = 1998\n}\n\n","author_short":["Kaminski, M.","Makowsky, J. A.","Tiomkin, M. L."],"key":"journals/logcom/KaminskiMT98","id":"journals/logcom/KaminskiMT98","bibbaseid":"kaminski-makowsky-tiomkin-extensionsforopendefaulttheoriesviathedomainclosureassumption-1998","role":"author","urls":{"Link":"http://dx.doi.org/10.1093/logcom/8.2.169","Paper":"http://dblp.uni-trier.de/db/journals/logcom/logcom8.html#KaminskiMT98"},"keyword":["dblp"],"downloads":0},"search_terms":["extensions","open","default","theories","via","domain","closure","assumption","kaminski","makowsky","tiomkin"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}