Phrases that contain the word hartmanis: