A formal design verification system based on an automated reasoning system. - Anthony S. Wojcik; Joseph Kljaich Jr.; Nagendra C. E. Srinivas (DAC, 1984)

An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. - Nagendra C. E. Srinivas; Anthony S. Wojcik; Ytzhak H. Levendel (ITC, 1986)