A.  Brogi, Mancarella, P., Pedreschi, D., and Turini, F., ?Universal Quantification by Case Analysis?, in ECAI, 1990, pp. 111-116.