JETS: Achieving Completeness through Coverage and Closure. - Finin, Tim; Goodman, Bradley A.; Tennant, Harry R. (1979)