PLP: an automated tool for the processing of requirements. - Alan M. Davis; Thomas J. Miller; Esther Rhode; Bruce J. Taylor (COMPSAC, 1979)