@Article{ Cámara-Moreno_MANNION:211-224,

author = { Javier Cámara-Moreno and MIKE MANNION } ,

title = { THEOREM PROVING FOR PRODUCT LINE MODEL VERIFICATION },

journal = { Lecture Notes in Computer Science },

year = { 2004 },

volume = { 3014 },

pages = { 211-224 },

doi = { http://www.springerlink.com/content/m0k40djlmmxx8vtp/?p=3c0906d372184bd9880b0bc656d92da4&pi=0 },

}