Robert J. Hall. Validation of rule-based reactive systems by sound scenario generalization. In Proceedings of the Eighth Knowledge-Based Software Engineering Conference, KBSE 1993, Chicago, IL, USA, September 20-23, 1993. pages 30-39, IEEE Computer Society, 1993. [doi]
Abstract is missing.