K
[KV97] Orna Kupferman and Moshe Y. Vardi. Module Checking Revisited. In CAV'97, Lecture Notes in Computer Science 1254, pages 36-47. Springer-Verlag, June 1997. 
@inproceedings{cav1997-KV,
  author =              {Kupferman, Orna and Vardi, Moshe Y.},
  title =               {Module Checking Revisited},
  editor =              {Grumberg, Orna},
  booktitle =           {{P}roceedings of the 9th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'97)},
  acronym =             {{CAV}'97},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1254},
  pages =               {36-47},
  year =                {1997},
  month =               jun,
}
List of authors