Merge pull request #245 from krr-up/jorge/csur

krr.bib

@@ -7726,7 +7726,7 @@ @article{delsch05a
 @article{delsch07a,
   title = {A Consistency-Based Framework for Merging Knowledge Bases},
   author = {J. Delgrande and T. Schaub},
-  journal = {Journal of Applied Logics},
+  journal = {Journal of Applied Logic},
   number = {3},
   pages = {459-477},
   volume = {5},
@@ -12674,7 +12674,7 @@ @incollection{gokasase08a
 @article{goldberg91a,
   title = {What every computer scientist should know about floating-point arithmetic},
   author = {D. Goldberg},
-  journal = {ACM Computing Surveys (CSUR)},
+  journal = acmcs,
   number = {1},
   pages = {5-48},
   publisher = acm,