David W. Aha Dennis F. Kibler