Debugging Logic-Based Requirements Specifications - a FRORL Approach.

Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair

Browse the full SEKE paper archive.