Conrad Drescher Inês Lynce Ralf Treinen Proceedings Second Workshop on Logics for Component Configuration LoCoCo http://dx.doi.org/10.4204/EPTCS.65 2011 EPTCS 65 db/series/eptcs/eptcs65.html