B
[BBD+11] Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu et Jean-François Raskin. Antichain-based QBF Solving. In ATVA'11, Lecture Notes in Computer Science 6996, pages 183-197. Springer-Verlag, octobre 2011. 
@inproceedings{atva2011-BBDDR,
  author =              {Brihaye, {\relax Th}omas and Bruy{\`e}re,
                         V{\'e}ronique and Doyen, Laurent and Ducobu, Marc
                         and Raskin, Jean-Fran{\c c}ois},
  title =               {Antichain-based {QBF} Solving},
  editor =              {Bultan, Tevfik and Hsiung, Pao-Ann},
  booktitle =           {{P}roceedings of the 9th {I}nternational {S}ymposium
                         on {A}utomated {T}echnology for {V}erification and
                         {A}nalysis ({ATVA}'11)},
  acronym =             {{ATVA}'11},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {6996},
  pages =               {183-197},
  year =                {2011},
  month =               oct,
}
Liste des auteurs