1. An Introduction to Default Logic
2. Boddu, R., L. Guo, S. Mukhopadhyay, and B. Cukic. "RETNA: From Requirements to Testing in a Natural Way." Paperpresented at theIEEE International Conference on Requirements Engi neering, Kyoto, Japan, September, 2004.