B
[BAS02] Armin Biere, Cyrille Artho, and Viktor Schuppan. Liveness Checking as Safety Checking. In FMICS'02, Electronic Notes in Theoretical Computer Science 66(2). Elsevier, July 2002. 
@inproceedings{fmics2002-BAS,
  author =              {Biere, Armin and Artho, Cyrille and Schuppan,
                         Viktor},
  title =               {Liveness Checking as Safety Checking},
  editor =              {Cleaveland, Rance and Garavel, Hubert},
  booktitle =           {{P}roceedings of the 7th {I}nternational {ERCIM}
                         {W}orkshop in {F}ormal {M}ethods for {I}ndustrial
                         {C}ritical {S}ystems ({FMICS}'02)},
  acronym =             {{FMICS}'02},
  publisher =           {Elsevier},
  series =              {Electronic Notes in Theoretical Computer Science},
  volume =              {66},
  number =              {2},
  year =                {2002},
  month =               jul,
}
List of authors