"martin davis" - related articles and key terms