Annals Pure and Applied Logic

krr.bib

@@ -2867,7 +2867,7 @@ @article{begoknle19a
 @article{behapn82a,
   title = {Deterministic propositional dynamic logic: Finite models, complexity, and completeness},
   author = {M. Ben-Ari and J. Halpern and A. Pnueli},
-  journal = {Journal of computer and system sciences},
+  journal = jcss,
   number = {3},
   pages = {402-417},
   publisher = elsevier,
@@ -7299,7 +7299,7 @@ @incollection{darpip09a
 @article{dastani08a,
   title = {{2APL}: a practical agent programming language},
   author = {M. Dastani},
-  journal = {Autonomous agents and multi-agent systems},
+  journal = {Autonomous Agents and Multi-Agent Systems},
   number = {3},
   pages = {214-248},
   volume = {16},
@@ -13734,7 +13734,7 @@ @phdthesis{hentenryck87
 @article{henthi99a,
   title = {Dynamic Linear Time Temporal Logic},
   author = {J. Henriksen and P. Thiagarajan},
-  journal = {Annals Pure and Applied Logic},
+  journal = {Annals of Pure and Applied Logic},
   number = {1-3},
   pages = {187-207},
   volume = {96},
@@ -23906,7 +23906,7 @@ @article{stbomico83a
 @article{stbrsa96a,
   title = {Combinational Test Generation Using Satisfiability},
   author = {P. Stephan and R. Brayton and A. Sangiovanni-Vincentelli},
-  journal = {IEEE Transactions on CAD of Integrated Circuits and Systems},
+  journal = {{IEEE} Transactions on Computer-Aided Design of Integrated Circuits and Systems},
   number = {9},
   pages = {1167-1176},
   volume = {15},