%0 Conference Paper %B ECAI %D 1990 %T Universal Quantification by Case Analysis %A Antonio Brogi %A Paolo Mancarella %A Dino Pedreschi %A Franco Turini %B ECAI %P 111-116 %G eng