Knowledge Processing and Information Systems
QBF Programming with the Modeling Language Bule

@inproceedings{DBLP:conf/sat/JungMS22,
  title = {{QBF} Programming with the Modeling Language Bule},
  author = {Jung, Jean Christoph and Mayer{-}Eichberger, Valentin and Saffidine, Abdallah},
  booktitle = {{SAT}},
  pages = {31:1--31:14},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  series = {LIPIcs},
  volume = {236},
  year = {2022}
}