A Logic Programming Approach to Requirements Modelling and Automated Test Generation. - Leon J. Mekly; Marjorie Passini Yuhas (ICLP, 1993)