doi dblpMachine-Aided Indexing at NASAJune P. Silvester | Michael T. Genuardi | Paul H. Klingbiel1994 Volume 30 Issue 5