Bert Bos
Tantek Çelik
Ian Hickson
Høakon Wium Lie
2011
Cascading Style Sheets Level 2 Revision 1 (CSS 2.1) Specification
Technical Report
World Wide Web Consortium
https://www.w3.org/TR/CSS2/
Alva L. Couch
Yizhan Sun
2003
On the Algebraic Structure of Convergence
Marcus Brunner
Alexander Keller
DSOM
Lecture Notes in Computer Science
2867
Springer
28–40
10.1007/978-3-540-39671-0_4
Sylvain Hallé
Nicolas Bergeron
Francis Guerin
Gabriel Le Breton
2015
Testing Web Applications Through Layout Constraints
ICST
IEEE
1–8
10.1109/ICST.2015.7102635
Sylvain Hallé
Éric Wenaas
Roger Villemaire
Omar Cherkaoui
2006
Self-configuration of Network Devices with Configuration Logic
Dominique Gaïti
Guy Pujolle
Ehab S. Al-Shaer
Kenneth L. Calvert
Simon A. Dobson
Guy Leduc
Olli Martikainen
AN
Lecture Notes in Computer Science
4195
Springer
36–49
10.1007/11880905_4
Alexander Nadel
Vadim Ryvchin
2012
Efficient SAT Solving under Assumptions
Alessandro Cimatti
Roberto Sebastiani
SAT
Lecture Notes in Computer Science
7317
Springer
242–255
10.1007/978-3-642-31612-8_19
Sanjai Narain
Gary Levin
Sharad Malik
Vikram Kaul
2008
Declarative Infrastructure Configuration Synthesis and Debugging
J. Network Syst. Manage.
16
3
235–258
10.1007/s10922-008-9108-y