Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements.

Didar Zowghi, Vincenzo Gervasi, Andrew McRae

Browse the full APSEC paper archive.