TY - JOUR AU - Demetrovics, János AU - Molnár, András AU - Thalheim, Bernhard TI - Reasoning Methods for Designing and Surveying Relationships Described by Sets of Functional Constraints JO - Serdica Journal of Computing PY - 2009 SP - 179 EP - 204 VL - 3 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SJC_2009_3_2_a3/ LA - en ID - SJC_2009_3_2_a3 ER -