title: conceptual schema analysis : techniques and applications s castano , v antonellis , m fugini , b pernici 1998. authors: nan. venue: acm trans . database syst .. year: nan
title: constraint analysis for code generation : basic techniques and applications in facts k van eijk , b mesman , caa pinto , q zhao , m bekooij acm transactions on design automation of electronic systems , 2000.0. authors: nan. venue: nan. year: nan