%0 Journal Article %A Demetrovics, János %A Molnár, András %A Thalheim, Bernhard %T Reasoning Methods for Designing and Surveying Relationships Described by Sets of Functional Constraints %J Serdica Journal of Computing %D 2009 %P 179-204 %V 3 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/SJC_2009_3_2_a3/ %G en %F SJC_2009_3_2_a3