PLP: an automated tool for the processing of requirements.

Alan M. Davis, Thomas J. Miller, Esther Rhode, Bruce J. Taylor

Browse the full COMPSAC paper archive.