Using First-Order Logic for Product Line Model Validation.

Mike Mannion Using First-Order Logic for Product Line Model Validation. 176-187 2002 conf/splc/2002 SPLC http://link.springer.de/link/service/series/0558/bibs/2379/23790176.htm db/conf/splc/splc2002.html#Mannion02