@techreport(css-ref,
 author       = {Bert Bos and \c{C}elik, Tantek and Ian Hickson and H\o{a}kon~Wium Lie},
 year         = {2011},
 title        = {Cascading Style Sheets Level 2 Revision 1 ({CSS} 2.1) Specification},
 type         = {Technical Report},
 institution  = {World Wide Web Consortium},
 note         = {\url{https://www.w3.org/TR/CSS2/}},
)
@inproceedings(DBLP:conf/dsom/CouchS03,
 author       = {Alva~L. Couch and Yizhan Sun},
 year         = {2003},
 title        = {On the Algebraic Structure of Convergence},
 editor       = {Marcus Brunner and Alexander Keller},
 booktitle    = {DSOM},
 series       = {Lecture Notes in Computer Science},
 volume       = {2867},
 publisher    = {Springer},
 pages        = {28--40},
 doi          = {10.1007/978-3-540-39671-0_4},
)
@inproceedings(DBLP:conf/icst/HalleBGB15,
 author       = {Sylvain Hall{\'{e}} and Nicolas Bergeron and Francis Guerin and Gabriel~Le Breton},
 year         = {2015},
 title        = {Testing Web Applications Through Layout Constraints},
 booktitle    = {ICST},
 publisher    = {{IEEE}},
 pages        = {1--8},
 doi          = {10.1109/ICST.2015.7102635},
)
@inproceedings(DBLP:conf/ifip6/HalleWVC06,
 author       = {Sylvain Hall{\'{e}} and {\'{E}}ric Wenaas and Roger Villemaire and Omar Cherkaoui},
 year         = {2006},
 title        = {Self-configuration of Network Devices with Configuration Logic},
 editor       = {Ga{\"{\i}}ti, Dominique and Guy Pujolle and Al{-}Shaer, Ehab~S. and Kenneth~L. Calvert and Simon~A. Dobson and Guy Leduc and Olli Martikainen},
 booktitle    = {AN},
 series       = {Lecture Notes in Computer Science},
 volume       = {4195},
 publisher    = {Springer},
 pages        = {36--49},
 doi          = {10.1007/11880905_4},
)
@inproceedings(DBLP:conf/sat/NadelR12,
 author       = {Alexander Nadel and Vadim Ryvchin},
 year         = {2012},
 title        = {Efficient {SAT} Solving under Assumptions},
 editor       = {Alessandro Cimatti and Roberto Sebastiani},
 booktitle    = {SAT},
 series       = {Lecture Notes in Computer Science},
 volume       = {7317},
 publisher    = {Springer},
 pages        = {242--255},
 doi          = {10.1007/978-3-642-31612-8_19},
)
@article(DBLP:journals/jnsm/NarainLMK08,
 author       = {Sanjai Narain and Gary Levin and Sharad Malik and Vikram Kaul},
 year         = {2008},
 title        = {Declarative Infrastructure Configuration Synthesis and Debugging},
 journal      = {J. Network Syst. Manage.},
 volume       = {16},
 number       = {3},
 pages        = {235--258},
 doi          = {10.1007/s10922-008-9108-y},
)