@conference {DBLP:conf/ecai/BrogiMPT90,
	title = {Universal Quantification by Case Analysis},
	booktitle = {ECAI},
	year = {1990},
	pages = {111-116},
	author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini}
}
