This important technique was the subject of Kenneth McMillan's Ph.D. thesis, which received an ACM Doctoral Dissertation Award.
この重要な技法は Kenneth McMillan が博士論文のテーマとし、その論文はACM博士論文賞を受賞した。