(no commit message)
authorzack <zack@web>
Fri, 21 May 2010 08:19:39 +0000 (10:19 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 May 2010 08:19:39 +0000 (10:19 +0200)
wiki/academia/reading_list.mdwn

index 185d917..44de2ee 100644 (file)
@@ -2,6 +2,7 @@
 
 ## Recently read papers
 
+* *[Reasoning about Feature Models in Higher-Order Logic](http://www.computer.org/portal/web/csdl/doi?doc=doi/10.1109/SPLINE.2007.36)* by Janota and Kiniry
 * *[Feature Diagrams: A Survey and a Formal Semantics](http://www.computer.org/portal/web/csdl/doi/10.1109/RE.2006.23)* by Schobbens et al.
 * *[SAT-based analysis of feature models is easy](http://doi.acm.org/10.1145/1753235.1753267)* by Mendonça et al.
 * *[Feature Models, Grammars, and Propositional Formulas](http://www.springerlink.com/content/9t1veyhqe6myj08r/)* by Don Batory