@inproceedings{DaMota_Stephan_Nicolas_ASP_07,
  author = "B. {Da Mota} and I. St{\'e}phan and P. Nicolas",
  title = "From ({Q}uantified) {B}oolean {F}ormulas to {A}nswer {S}et {P}rogramming",
    booktitle = "Proceedings of the 7th International Answer Set Programming Workshop (ASP'07)",
    year = "2007"
}