Universal Quantification by Case Analysis

Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. Universal Quantification by Case Analysis. In ECAI. pages 111-116, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.