Cindy L. Mason: An Intelligent Assistant for Nuclear Test Ban Treaty Verification. IEEE Expert 10(6): 42-49 (1995)