1991
[AFH91] Rajeev Alur, Tómas Feder, and Thomas A. Henzinger. The Benefits of Relaxing Punctuality. In PODC'91, pages 139-152. ACM Press, August 1991. 
@inproceedings{podc1991-AFH,
  author =              {Alur, Rajeev and Feder, T{\'o}mas and Henzinger,
                         Thomas A.},
  title =               {The Benefits of Relaxing Punctuality},
  booktitle =           {{P}roceedings of the 10th {ACM} {S}ymposium on
                         {P}rinciples of {D}istributed {C}omputing
                         ({PODC}'91)},
  acronym =             {{PODC}'91},
  publisher =           {ACM Press},
  pages =               {139-152},
  year =                {1991},
  month =               aug,
}
[Alu91] Rajeev Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991. 
@phdthesis{phd-alur,
  author =              {Alur, Rajeev},
  title =               {Techniques for Automatic Verification of Real-Time
                         Systems},
  year =                {1991},
  school =              {Stanford University},
}
[BB91] Jos C. M. Baeten and Jan A. Bergstra. Real Time Process Algebra. Formal Aspects of Computing 3(2):142-188. Springer-Verlag, 1991. 
@article{fac3(2)-BB,
  author =              {Baeten, Jos C. M. and Bergstra, Jan A.},
  title =               {Real Time Process Algebra},
  publisher =           {Springer-Verlag},
  journal =             {Formal Aspects of Computing},
  volume =              {3},
  number =              {2},
  pages =               {142-188},
  year =                {1991},
}
[Bei91] Richard Beigel. Bounded Queries to SAT and the Boolean Hierarchy. Theoretical Computer Science 84(2):199-223. Elsevier, 1991. 
@article{tcs84(2)-Bei,
  author =              {Beigel, Richard},
  title =               {Bounded Queries to {SAT} and the {B}oolean
                         Hierarchy},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {84},
  number =              {2},
  pages =               {199-223},
  year =                {1991},
}
[BS91] Janusz A. Brzozowski and Carl-Johan H. Seger. Advances in Asynchronous Circuit Theory Part II: Bounded Inertial Delay Models, MOS Circuits, Design Techniques. EATCS Bulletin 43:199-263. EATCS, February 1991. 
@article{eatcs-bull43()-BS,
  author =              {Brzozowski, Janusz A. and Seger, Carl-Johan H.},
  title =               {Advances in Asynchronous Circuit Theory Part~{II}:
                         Bounded Inertial Delay Models, {MOS} Circuits,
                         Design Techniques},
  publisher =           {EATCS},
  journal =             {EATCS Bulletin},
  volume =              {43},
  pages =               {199-263},
  year =                {1991},
  month =               feb,
}
[CVW+91] Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper, and Mihalis Yannakakis. Memory-Efficient Algorithms for the Verification of Temporal Properties. In CAV'90, Lecture Notes in Computer Science 531, pages 233-242. Springer-Verlag, 1991. 
@inproceedings{cav1990-CVWY,
  author =              {Courcoubetis, Costas and Vardi, Moshe Y. and Wolper,
                         Pierre and Yannakakis, Mihalis},
  title =               {Memory-Efficient Algorithms for the Verification of
                         Temporal Properties},
  editor =              {Clarke, Edmund M. and Kurshan, Robert P.},
  booktitle =           {{P}roceedings of the 2nd {I}nternational {W}orkshop
                         on {C}omputer {A}ided {V}erification ({CAV}'90)},
  acronym =             {{CAV}'90},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {531},
  pages =               {233-242},
  year =                {1991},
  confyear =            {1990},
  confmonth =           {6},
}
[DKP91] Nachum Dershowitz, Stéphane Kaplan, and David A. Plaisted. Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, .... Theoretical Computer Science 83(1):71-96. Elsevier, 1991. 
@article{tcs83(1)-DKP,
  author =              {Dershowitz, Nachum and Kaplan, St{\'e}phane and
                         Plaisted, David A.},
  title =               {Rewrite, Rewrite, Rewrite, Rewrite, Rewrite,~...},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {83},
  number =              {1},
  pages =               {71-96},
  year =                {1991},
}
[EJ91] E. Allen Emerson and Charanjit S. Jutla. Tree Automata, Mu-Calculus and Determinacy. In FOCS'91, pages 368-377. IEEE Comp. Soc. Press, October 1991. 
@inproceedings{focs1991-EJ,
  author =              {Emerson, E. Allen and Jutla, Charanjit S.},
  title =               {Tree Automata, Mu-Calculus and Determinacy},
  booktitle =           {{P}roceedings of the 32nd {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'91)},
  acronym =             {{FOCS}'91},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {368-377},
  year =                {1991},
  month =               oct,
  doi =                 {10.1109/SFCS.1991.185392},
}
[Hen91] Thomas A. Henzinger. The Temporal Specification and Verification of Real-Time Systems. PhD thesis, Stanford University, 1991. 
@phdthesis{phd-henzinger,
  author =              {Henzinger, Thomas A.},
  title =               {The Temporal Specification and Verification of
                         Real-Time Systems},
  year =                {1991},
  school =              {Stanford University},
}
[HS91] Joseph Y. Halpern and Yoav Shoham. A Propositional Modal Logic of Time Intervals. Journal of the ACM 38(4):935-962. ACM Press, October 1991. 
@article{jacm38(4)-HS,
  author =              {Halpern, Joseph Y. and Shoham, Yoav},
  title =               {A Propositional Modal Logic of Time Intervals},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {38},
  number =              {4},
  pages =               {935-962},
  year =                {1991},
  month =               oct,
}
[IT91] Katsushi Inoue and Itsuo Takanami. A survey of two-dimensional automata theory. Information Science 55(1-3):99-121. June 1991. 
@article{is55(1-3)-IT,
  author =              {Inoue, Katsushi and Takanami, Itsuo},
  title =               {A survey of two-dimensional automata theory},
  journal =             {Information Science},
  volume =              {55},
  number =              {1-3},
  pages =               {99-121},
  year =                {1991},
  month =               jun,
}
[Miy91] Satoru Miyano. Δ2P-complete lexicographically first maximal subgraph problems. Theoretical Computer Science 88(1):33-57. Elsevier, 1991. 
@article{tcs88(1)-Miy,
  author =              {Miyano, Satoru},
  title =               {{\(\Delta_2^P\)}-complete lexicographically first
                         maximal subgraph problems},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {88},
  number =              {1},
  pages =               {33-57},
  year =                {1991},
}
[Mos91] Andrzej Mostowski. Games with forbidden positions. Research Report 78, University of Danzig, 1991. 
@techreport{TR78-Mos91,
  author =              {Mostowski, Andrzej},
  title =               {Games with forbidden positions},
  number =              {78},
  year =                {1991},
  institution =         {University of Danzig},
  type =                {Research Report},
}
[MP91] Zohar Manna and Amir Pnueli. Completing the Temporal Picture. Theoretical Computer Science 83(1):91-130. Elsevier, 1991. 
@article{tcs83(1)-MP,
  author =              {Manna, Zohar and Pnueli, Amir},
  title =               {Completing the Temporal Picture},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {83},
  number =              {1},
  pages =               {91-130},
  year =                {1991},
}
[Tho91] Wolfgang Thomas. On Logics, Tilings, and Automata. In ICALP'91, Lecture Notes in Computer Science 510, pages 441-454. Springer-Verlag, July 1991. 
@inproceedings{icalp1991-Tho,
  author =              {Thomas, Wolfgang},
  title =               {On Logics, Tilings, and Automata},
  editor =              {Albert, Javier Leach and Monien, Burkhard and
                         Rodr{\'\i}guez{-}Artalejo, Mario},
  booktitle =           {{P}roceedings of the 19th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'91)},
  acronym =             {{ICALP}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {510},
  pages =               {441-454},
  year =                {1991},
  month =               jul,
}
[WH91] Howard Wong-Toi and Gérard Hoffmann. The Control of Dense Real-Time Discrete Event Systems. In CDC'91, pages 1527-1528. IEEE Comp. Soc. Press, December 1991. 
@inproceedings{cdc1991-WH,
  author =              {Wong{-}Toi, Howard and Hoffmann, G{\'e}rard},
  title =               {The Control of Dense Real-Time Discrete Event
                         Systems},
  booktitle =           {{P}roceedings of the 30th {IEEE} {C}onference on
                         {D}ecision and {C}ontrol ({CDC}'91)},
  acronym =             {{CDC}'91},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {1527-1528},
  year =                {1991},
  month =               dec,
}
[Yi91] Wang Yi. CCS + Time = An Interleaving Model for Real Time Systems. In ICALP'91, Lecture Notes in Computer Science 510, pages 217-228. Springer-Verlag, July 1991. 
@inproceedings{icalp1991-Yi,
  author =              {Yi, Wang},
  title =               {{CCS} + Time = An~Interleaving Model for Real Time
                         Systems},
  editor =              {Albert, Javier Leach and Monien, Burkhard and
                         Rodr{\'\i}guez{-}Artalejo, Mario},
  booktitle =           {{P}roceedings of the 19th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'91)},
  acronym =             {{ICALP}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {510},
  pages =               {217-228},
  year =                {1991},
  month =               jul,
}
List of authors