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.
In: Marcus Brunner & Alexander Keller: DSOM,
Lecture Notes in Computer Science 2867.
Springer,
pp. 28–40,
doi:10.1007/978-3-540-39671-0_4.
Sylvain Hallé, Nicolas Bergeron, Francis Guerin & Gabriel Le Breton (2015):
Testing Web Applications Through Layout Constraints.
In: ICST.
IEEE,
pp. 1–8,
doi:10.1109/ICST.2015.7102635.
Sylvain Hallé, Éric Wenaas, Roger Villemaire & Omar Cherkaoui (2006):
Self-configuration of Network Devices with Configuration Logic.
In: 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,
pp. 36–49,
doi:10.1007/11880905_4.
Alexander Nadel & Vadim Ryvchin (2012):
Efficient SAT Solving under Assumptions.
In: Alessandro Cimatti & Roberto Sebastiani: SAT,
Lecture Notes in Computer Science 7317.
Springer,
pp. 242–255,
doi: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),
pp. 235–258,
doi:10.1007/s10922-008-9108-y.