A COMPUTER PROGRAM WHICH ASSESSES THE CREDIBILITY OF ASSERTIONS