Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair. Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. International Journal of Software Engineering and Knowledge Engineering, 4(2):205-228, 1994. [doi]
Abstract is missing.