K
[KV03] Orna Kupferman and Moshe Y. Vardi. Safraless Decision Procedures. In FOCS'03. IEEE Comp. Soc. Press, October 2003. 
@inproceedings{focs2003-KV,
  author =              {Kupferman, Orna and Vardi, Moshe Y.},
  title =               {Safraless Decision Procedures},
  booktitle =           {{P}roceedings of the 44th {A}nnual {S}ymposium on
                         {F}oundations of {C}omputer {S}cience ({FOCS}'03)},
  acronym =             {{FOCS}'03},
  publisher =           {IEEE Comp. Soc. Press},
  year =                {2003},
  month =               oct,
}
List of authors