00434nas a2200133 4500008004100000245004600041210004600087300001200133100001900145700002200164700002000186700001900206856007500225 1990 eng d00aUniversal Quantification by Case Analysis0 aUniversal Quantification by Case Analysis a111-1161 aBrogi, Antonio1 aMancarella, Paolo1 aPedreschi, Dino1 aTurini, Franco uhttps://kdd.isti.cnr.it/content/universal-quantification-case-analysis