use bibTex strings instead of their value

krr.bib

@@ -532,7 +532,7 @@ @article{ahgaul72a
   title = {The Transitive Reduction of a Directed Graph},
   author = {A. Aho and M. Garey and J. Ullman},
   doi = {10.1137/0201008},
-  journal = {SIAM Journal on Computing},
+  journal = sicomp,
   number = {2},
   pages = {131-137},
   volume = {1},
@@ -1352,7 +1352,7 @@ @article{armcom08a
 @article{artfra00a,
   title = {A survey of temporal extensions of description logics},
   author = {A. Artale and E. Franconi},
-  journal = {Annals of Mathematics and Artificial Intelligence},
+  journal = amai,
   number = {1-4},
   pages = {171-210},
   volume = {30},
@@ -4399,7 +4399,7 @@ @inproceedings{bozpea16a
 @article{bradix99a,
   title = {Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation},
   author = {S. Brass and J. Dix},
-  journal = {Journal of Logic Programming},
+  journal = jlp,
   number = {1},
   pages = {1-46},
   volume = {40},
@@ -4433,7 +4433,7 @@ @inproceedings{brahof04a
 @article{brasch85,
   title = {An Overview of the {\sc Kl-One} Knowledge Representation System},
   author = {R. Brachman and J. Schmolze},
-  journal = {Cognitive Science},
+  journal = cs,
   number = {2},
   pages = {189-192},
   volume = {9},
@@ -5122,7 +5122,7 @@ @inproceedings{brnisy02a
 @article{brnisy04a,
   title = {Logic Programs with Ordered Disjunction},
   author = {G. Brewka and I. Niemel{\"a} and T. Syrj{\"a}nen},
-  journal = {Computational Intelligence},
+  journal = ci,
   number = {2},
   pages = {335-357},
   volume = {20},
@@ -5311,7 +5311,7 @@ @incollection{brusch99b
 @article{bryant92a,
   title = {Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams},
   author = {R. Bryant},
-  journal = {{ACM} Computing Surveys},
+  journal = acmcs,
   number = {3},
   pages = {293-318},
   volume = {24},
@@ -6148,7 +6148,7 @@ @article{cakascsc18a
 @book{calepe04a,
   title = {Automated Model Building},
   author = {R. Caferra and A. Leitsch and N. Peltier},
-  publisher = {Kluwer Academic Publishers},
+  publisher = kluwer,
   series = {Applied Logic Series},
   year = {2004}
 }
@@ -6787,7 +6787,7 @@ @article{cocotu87a
 @article{codapr02a,
   title = {On the equivalence and range of applicability of graph-based representations of logic programs},
   author = {S. Costantini and O. D'Antona and A. Provetti},
-  journal = {Information Processing Letters},
+  journal = ipl,
   number = {5},
   pages = {241-249},
   volume = {84},
@@ -10197,7 +10197,7 @@ @article{finman87a
   title = {{DIB} --- a distributed implementation of backtracking},
   author = {R. Finkel and U. Manber},
   issue = {2},
-  journal = {ACM Transactions on Programming Languages and Systems},
+  journal = toplas,
   pages = {235-256},
   publisher = acm,
   volume = {9},
@@ -10251,7 +10251,7 @@ @article{fislad79a
 @article{fitting02a,
   title = {Fixpoint semantics for logic programming: A survey},
   author = {M. Fitting},
-  journal = {Theoretical Computer Science},
+  journal = tcs,
   number = {1-2},
   pages = {25-51},
   volume = {278},
@@ -11440,7 +11440,7 @@ @inproceedings{gekasc15a
 @article{gekaza20a,
   title = {Complement for two-way alternating automata},
   author = {V. Geffert and C. Kapoutsis and M. Zakzok},
-  journal = {Acta Informatica},
+  journal = acta,
   number = {5},
   pages = {463-495},
   publisher = springer,
@@ -12067,7 +12067,7 @@ @inproceedings{gialev99ai
   booktitle = {Logical Foundations for Cognitive Agents},
   pages = {86-102},
   publisher = springer,
-  series = {Artificial Intelligence},
+  series = ai,
   year = {1999}
 }
 
@@ -12739,7 +12739,7 @@ @article{grasca20a
 @article{grasub95a,
   title = {Reasoning in inconsistent knowledge bases},
   author = {J. Grant and V. Subrahmanian},
-  journal = {IEEE Transactions on Knowledge and Data Engineering},
+  journal = tkde,
   number = {1},
   pages = {177-189},
   volume = {7},
@@ -13148,7 +13148,7 @@ @inproceedings{haiwal08a
 @article{hajakani06a,
   title = {Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques},
   author = {H. Haanp{\"a}{\"a} and M. J{\"a}rvisalo and P. Kaski and I. Niemel{\"a}},
-  journal = {Journal on Satisfiability, Boolean Modeling and Computation},
+  journal = jsat,
   number = {1-4},
   pages = {27-46},
   volume = {2},
@@ -13325,7 +13325,7 @@ @inproceedings{hansom09a
 @book{hansson99a,
   title = {A Textbook of Belief Dynamics},
   author = {S. {O}ve Hansson},
-  publisher = {Kluwer Academic Publishers},
+  publisher = kluwer,
   series = {Applied Logic Series},
   year = {1999}
 }
@@ -14546,7 +14546,7 @@ @inproceedings{janhunen04a
 @article{janhunen06a,
   title = {Some (in)translatability results for normal logic programs and propositional theories},
   author = {T. Janhunen},
-  journal = {Journal of Applied Non-Classical Logics},
+  journal = jancl,
   number = {1-2},
   pages = {35-86},
   volume = {16},
@@ -15833,7 +15833,7 @@ @article{kowsad99a
 @article{kowser86a,
   title = {A Logic-based Calculus of Events},
   author = {R. Kowalski and M. Sergot},
-  journal = {New Generation Computing},
+  journal = ngc,
   number = {1},
   pages = {67-95},
   volume = {4},
@@ -16050,7 +16050,7 @@ @article{laliso84a
   title = {Alternating pushdown and stack automata},
   author = {R. Ladner and R. Lipton and L Stockmeyer},
   doi = {10.1137/0213010},
-  journal = {SIAM Journal on Computing},
+  journal = sicomp,
   number = {1},
   pages = {135-155},
   publisher = {SIAM},
@@ -16607,7 +16607,7 @@ @inproceedings{lianko02a
 @article{libsch97b,
   title = {Arbitration (or how to merge knowledge bases)},
   author = {P. Liberatore and M. Schaerf},
-  journal = {IEEE Transactions on Knowledge and Data Engineering},
+  journal = tkde,
   number = {1},
   pages = {76-90},
   volume = {10},
@@ -17722,7 +17722,7 @@ @techreport{lunepe87
 @article{lusizu93a,
   title = {Optimal speedup of {L}as {V}egas algorithms},
   author = {M. Luby and A. Sinclair and D. Zuckerman},
-  journal = {Information Processing Letters},
+  journal = ipl,
   number = {4},
   pages = {173-180},
   volume = {47},
@@ -19103,7 +19103,7 @@ @inproceedings{nehawasc18c
 @article{nelopp79a,
   title = {Simplification by Cooperating Decision Procedures},
   author = {G. Nelson and D. Oppen},
-  journal = {ACM Transactions on Programming Languages and Systems},
+  journal = toplas,
   number = {2},
   pages = {245-257},
   volume = {1},
@@ -22058,7 +22058,7 @@ @inproceedings{saswwa96
 @article{satgoe91a,
   title = {Using crucial literals to select better theories},
   author = {A. Sattar and R. Goebel},
-  journal = {Computational Intelligence},
+  journal = ci,
   number = {1},
   pages = {11-22},
   volume = {7},
@@ -23903,7 +23903,7 @@ @inproceedings{sullivan10a
 @article{sunava95a,
   title = {{WFS} + Branch and Bound = Stable Models},
   author = {V. Subrahmanian and D. Nau and C. Vago},
-  journal = {IEEE Transactions on Knowledge and Data Engineering},
+  journal = tkde,
   number = {3},
   pages = {362-377},
   volume = {7},
@@ -24282,7 +24282,7 @@ @inproceedings{tenbee12a
 @article{tennant87,
   title = {Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic},
   author = {N. Tennant},
-  journal = {Journal of Symbolic Logic},
+  journal = jsl,
   number = {3},
   pages = {665-680},
   volume = {52},
@@ -24358,7 +24358,7 @@ @inproceedings{thielscher04a
 @book{thielscher05a,
   title = {Reasoning Robots - The Art and Science of Programming Robotic Agents},
   author = {M. Thielscher},
-  publisher = {Kluwer Academic Publishers},
+  publisher = kluwer,
   series = {Applied Logic Series},
   volume = {33},
   year = {2005}
@@ -25403,7 +25403,7 @@ @inproceedings{weansm98a
 @article{webotowi03a,
   title = {A Resource Logic for Multi-Agent Plan Merging},
   author = {M. de Weerdt and A. Bos and H. Tonino and C. Witteveen},
-  journal = {Annals of Mathematics and Artificial Intelligence},
+  journal = amai,
   number = {1-2},
   pages = {93-130},
   volume = {37},

procs.bib

@@ -776,7 +776,7 @@ @book{ci04
   editor = {J. Delgrande and J. Doyle and U. Junker and F. Rossi and T. Schaub},
   booktitle = {Special Issue on Preferences in Artificial Intelligence},
   publisher = wiley,
-  series = {Computational Intelligence},
+  series = ci,
   volume = {20(2)},
   year = {2004}
 }
@@ -1325,7 +1325,7 @@ @book{DLHandbook
   title = {The Description Logic Handbook: Theory, Implementation, and Applications},
   editor = {F. Baader and D. Calvanese and D. McGuinness and D. Nardi and P. Patel-Schneider},
   booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
-  publisher = {Cambridge University Press},
+  publisher = cup,
   year = {2003}
 }
 
@@ -1502,7 +1502,7 @@ @proceedings{epia19
   title = {Proceedings of the Nineteenth {EPIA} Conference on Artificial Intelligence, (EPIA'19)},
   editor = {P. Oliveira and P. Novais and L. Reis},
   booktitle = {Proceedings of the Nineteenth {EPIA} Conference on Artificial Intelligence, (EPIA'19)},
-  publisher = {Springer},
+  publisher = springer,
   series = lncs,
   volume = {11805},
   year = {2019}
@@ -1637,7 +1637,7 @@ @proceedings{fqas09
 @proceedings{frocos96,
   title = {Proceedings of the First International Workshop on Frontiers of Combining Systems (FroCoS'96)},
   editor = {F. Baader and K. Schulz},
-  publisher = {Kluwer Academic Publishers},
+  publisher = kluwer,
   series = {Applied Logic Series},
   volume = {3},
   year = {1996}
@@ -1991,7 +1991,7 @@ @proceedings{iclp-tc16
   title = {Technical Communications of the Thiry second International Conference on Logic Programming (ICLP'16)},
   editor = {M. Leuschel and T. Schrijvers},
   booktitle = {Technical Communications of the Thiry second International Conference on Logic Programming (ICLP'19)},
-  publisher = {Cambridge University Press},
+  publisher = cup,
   series = {Theory and Practice of Logic Programming, Online Supplement},
   volume = {19},
   year = {2019}
@@ -2000,7 +2000,7 @@ @proceedings{iclp-tc16
 @proceedings{iclp-tc19,
   title = {Technical Communications of the Thiry fifth International Conference on Logic Programming (ICLP'19)},
   booktitle = {Technical Communications of the Thiry fifth International Conference on Logic Programming (ICLP'19)},
-  publisher = {Cambridge University Press},
+  publisher = cup,
   series = {Theory and Practice of Logic Programming, Online Supplement},
   volume = {19},
   year = {2019}
@@ -2160,7 +2160,7 @@ @proceedings{iclp86
   title = {Proceedings of the Third International Conference on Logic Programming (ICLP'86)},
   editor = {E. Shapiro},
   booktitle = {Proceedings of the Third International Conference on Logic Programming (ICLP'86)},
-  publisher = {Springer},
+  publisher = springer,
   series = lncs,
   volume = {225},
   year = {1986}