Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Universal Quantification by Case Analysis. In ECAI. pages 111-116, 1990.
@inproceedings{BrogiMPT90,
title = {Universal Quantification by Case Analysis},
author = {Antonio Brogi and Paolo Mancarella and Dino Pedreschi and Franco Turini},
year = {1990},
tags = {analysis},
researchr = {https://researchr.org/publication/BrogiMPT90},
cites = {0},
citedby = {0},
pages = {111-116},
booktitle = {ECAI},
}