@InProceedings{JETS_Achieving_Completeness_through_Coverage_and_Closure, author = "Tim Finin, Bradley Goodman, and Harry Tennant", title = "{JETS: Achieving Completeness through Coverage and Closure}", month = "August", year = "1979", pages = "275-281", volume = "1", booktitle = "Proceedings of the Sixth International Joint Conference on Artificial Intelligence (IJCAI-79)", }