"Debugging Logic-Based Requirements Specifications - a FRORL Approach."

Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics