1986
[AK86] Krzysztof Apt and Dexter C. Kozen. Limits for automatic verification of finite-state concurrent systems. Information Processing Letters 22(6):307-309. Elsevier, May 1986. 
@article{ipl22(6)-AK,
  author =              {Apt, Krzysztof and Kozen, Dexter C.},
  title =               {Limits for automatic verification of finite-state
                         concurrent systems},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {22},
  number =              {6},
  pages =               {307-309},
  year =                {1986},
  month =               may,
  doi =                 {10.1016/0020-0190(86)90071-2},
}
[BKP86] Howard Barringer, Ruurd Kuiper, and Amir Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. In POPL'86, pages 173-183. ACM Press, January 1986. 
@inproceedings{popl1986-BKP,
  author =              {Barringer, Howard and Kuiper, Ruurd and Pnueli,
                         Amir},
  title =               {A Really Abstract Concurrent Model and its Temporal
                         Logic},
  booktitle =           {Conference Record of the 13th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'86)},
  acronym =             {{POPL}'86},
  publisher =           {ACM Press},
  pages =               {173-183},
  year =                {1986},
  month =               jan,
}
[Bry86] Randal E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers 35(8):677-691. IEEE Comp. Soc. Press, August 1986. 
@article{tc35(8)-Bry,
  author =              {Bryant, Randal E.},
  title =               {Graph-Based Algorithms for Boolean Function
                         Manipulation},
  publisher =           {IEEE Comp. Soc. Press},
  journal =             {IEEE Transactions on Computers},
  volume =              {35},
  number =              {8},
  pages =               {677-691},
  year =                {1986},
  month =               aug,
}
[CES86] Edmund M. Clarke, E. Allen Emerson, and A. Prasad Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2):244-263. ACM Press, April 1986. 
@article{toplas8(2)-CES,
  author =              {Clarke, Edmund M. and Emerson, E. Allen and Sistla,
                         A. Prasad},
  title =               {Automatic Verification of Finite-State Concurrent
                         Systems Using Temporal Logic Specifications},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Programming Languages and
                         Systems},
  volume =              {8},
  number =              {2},
  pages =               {244-263},
  year =                {1986},
  month =               apr,
}
[Cro86] Maxime Crochemore. Transducers and Repetitions. Theoretical Computer Science 45(1):63-86. Elsevier, 1986. 
@article{tcs45(1)-Cro,
  author =              {Crochemore, Maxime},
  title =               {Transducers and Repetitions},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {45},
  number =              {1},
  pages =               {63-86},
  year =                {1986},
}
[DM86] Partha Dasgupta and Eric Maskin. The Existence of Equilibrium in Discontinuous Economic Games, 1: Theory. The Review of Economic Studies 53(1):1-26. Oxford University Press, January 1986. 
@article{res53(1)-DM1,
  author =              {Dasgupta, Partha and Maskin, Eric},
  title =               {The Existence of Equilibrium in Discontinuous
                         Economic Games, 1:~{T}heory},
  publisher =           {Oxford University Press},
  journal =             {The Review of Economic Studies},
  volume =              {53},
  number =              {1},
  pages =               {1-26},
  year =                {1986},
  month =               jan,
}
[DM86] Partha Dasgupta and Eric Maskin. The Existence of Equilibrium in Discontinuous Economic Games, 2: Applications. The Review of Economic Studies 53(1):27-41. Oxford University Press, January 1986. 
@article{res53(1)-DM2,
  author =              {Dasgupta, Partha and Maskin, Eric},
  title =               {The Existence of Equilibrium in Discontinuous
                         Economic Games, 2:~{A}pplications},
  publisher =           {Oxford University Press},
  journal =             {The Review of Economic Studies},
  volume =              {53},
  number =              {1},
  pages =               {27-41},
  year =                {1986},
  month =               jan,
}
[EH86] E. Allen Emerson and Joseph Y. Halpern. "Sometimes" and "Not Never" Revisited: On Branching versus Linear Time Temporal Logic. Journal of the ACM 33(1):151-178. ACM Press, January 1986. 
@article{jacm33(1)-EH,
  author =              {Emerson, E. Allen and Halpern, Joseph Y.},
  title =               {{"}{S}ometimes{"} and {"}Not Never{"} Revisited:
                         On~Branching versus Linear Time Temporal Logic},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {33},
  number =              {1},
  pages =               {151-178},
  year =                {1986},
  month =               jan,
}
[EL86] E. Allen Emerson and Chin-Laung Lei. Efficient Model Checking in Fragments of the Propositional Mu-Calculus. In LICS'86, pages 267-278. IEEE Comp. Soc. Press, June 1986. 
@inproceedings{lics1986-EL,
  author =              {Emerson, E. Allen and Lei, Chin-Laung},
  title =               {Efficient Model Checking in Fragments of the
                         Propositional Mu-Calculus},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {267-278},
  year =                {1986},
  month =               jun,
}
[Lar86] Kim Guldstrand Larsen. Context-dependent bisimulation between processes. PhD thesis, School of Informatics, University of Edinburgh, UK, 1986. 
@phdthesis{phd-larsen,
  author =              {Larsen, Kim Guldstrand},
  title =               {Context-dependent bisimulation between processes},
  year =                {1986},
  school =              {School of Informatics, University of Edinburgh, UK},
}
[MSS86] David E. Muller, Ahmed Saoudi, and Paul E. Schupp. Alternating Automata, the Weak Monadic Theory of the Tree, and its Complexity. In ICALP'86, Lecture Notes in Computer Science 226, pages 275-283. Springer-Verlag, July 1986. 
@inproceedings{icalp1986-MSS,
  author =              {Muller, David E. and Saoudi, Ahmed and Schupp, Paul
                         E.},
  title =               {Alternating Automata, the Weak Monadic Theory of the
                         Tree, and its Complexity},
  editor =              {Kott, Laurent},
  booktitle =           {{P}roceedings of the 13th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'86)},
  acronym =             {{ICALP}'86},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {226},
  pages =               {275-283},
  year =                {1986},
  month =               jul,
}
[dN86] Rocco de Nicola. Extensional Equivalences for Transitions Systems. Acta Informatica 24(2):211-237. Springer-Verlag, 1986. 
@article{acta24(2)-Den,
  author =              {de Nicola, Rocco},
  title =               {Extensional Equivalences for Transitions Systems},
  publisher =           {Springer-Verlag},
  journal =             {Acta Informatica},
  volume =              {24},
  number =              {2},
  pages =               {211-237},
  year =                {1986},
}
[RP86] Roni Rosner and Amir Pnueli. A Choppy Logic. In LICS'86, pages 306-313. IEEE Comp. Soc. Press, June 1986. 
@inproceedings{lics1986-RP,
  author =              {Rosner, Roni and Pnueli, Amir},
  title =               {A Choppy Logic},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {306-313},
  year =                {1986},
  month =               jun,
}
[RS86] Neil Robertson and Paul D. Seymour. Graph minors II: Algorithmic aspects of tree-width. Journal of Algorithms 7(3):309-322. Elsevier, September 1986. 
@article{ja7(3)-RS,
  author =              {Robertson, Neil and Seymour, Paul D.},
  title =               {Graph minors~{II}: Algorithmic aspects of
                         tree-width},
  publisher =           {Elsevier},
  journal =             {Journal of Algorithms},
  volume =              {7},
  number =              {3},
  pages =               {309-322},
  year =                {1986},
  month =               sep,
  doi =                 {10.1016/0196-6774(86)90023-4},
}
[RY86] Louis E. Rosier and Hsu-Chun Yen. A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems. Journal of Computer and System Sciences 32(1):105-135. Academic Press, February 1986. 
@article{jcss32(1)-RY,
  author =              {Rosier, Louis E. and Yen, Hsu-Chun},
  title =               {A~Multiparameter Analysis of the Boundedness Problem
                         for Vector Addition Systems},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {32},
  number =              {1},
  pages =               {105-135},
  year =                {1986},
  month =               feb,
  doi =                 {10.1016/0022-0000(86)90006-1},
}
[VW86] Moshe Y. Vardi and Pierre Wolper. An Automata-Theoretic Approach to Automatic Program Verification. In LICS'86, pages 332-344. IEEE Comp. Soc. Press, June 1986. 
@inproceedings{lics1986-VW,
  author =              {Vardi, Moshe Y. and Wolper, Pierre},
  title =               {An Automata-Theoretic Approach to Automatic Program
                         Verification},
  booktitle =           {{P}roceedings of the 1st {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'86)},
  acronym =             {{LICS}'86},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {332-344},
  year =                {1986},
  month =               jun,
}
[VW86] Moshe Y. Vardi and Pierre Wolper. Automata Theoretic Techniques for Modal Logics of Programs. Journal of Computer and System Sciences 32(2):183-221. Academic Press, April 1986. 
@article{jcss32(2)-VW,
  author =              {Vardi, Moshe Y. and Wolper, Pierre},
  title =               {Automata Theoretic Techniques for Modal Logics of
                         Programs},
  publisher =           {Academic Press},
  journal =             {Journal of Computer and System Sciences},
  volume =              {32},
  number =              {2},
  pages =               {183-221},
  year =                {1986},
  month =               apr,
}
List of authors