@article{Stephan_DaMota_Nicolas_JLC_08,
  author = "I. St{\'e}phan and B. {Da Mota} and P. Nicolas",
  title = "From ({Q}uantified) {B}oolean {F}ormulas to {A}nswer {S}et {P}rogramming",
    journal = "Journal of logic and computation",
    volume = "19",
    number = "4",
    pages = "565-590",
    year = "2009"
}