문맥 포함 문제를 해결하기 위한 통일된 접근법을 제시한다. 이 접근법은 최소 고정점 특성화와 단어 비교를 위한 준순서 관계를 활용하여 "더 작은" 언어의 단어들을 유한한 수의 멤버십 질의로 줄인다.
