References

  1. 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/.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org