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

index 0aba451..1d7947d 100644 (file)
@@ -2,6 +2,7 @@
 
 ## Recently read papers
 
+* *[Using First-Order Logic for Product Line Model Validation](http://www.springerlink.com/content/j493w6a3uwxbf5l2/)* by Mannion
 * *[Do sat solvers make good configurators?](https://sort.ucd.ie/documents/published/Janota08.pdf)* by Janota
 * *[Grammars as feature diagrams](http://reference.kfupm.edu.sa/content/g/r/grammars_as_feature_diagrams_96223.pdf)* by De Jonge and Visser
 * *[Automated Reasoning on Feature Models](http://www.springerlink.com/index/qh6yvx3y6pxet8ex.pdf)* by Benavides