본 논문은 Answer Set Programming(ASP)의 산업적 응용 증가에 따라 중요 응용 분야에서의 공식적 검증 도구 필요성이 증대됨에 따라, 프로그램 최적화 과정에서 최적화된 하위 프로그램이 원래 하위 프로그램을 대체할 수 있는지 자동으로 검증하는 도구 개발에 초점을 맞추고 있다. 이를 위해 두 프로그램의 강한 동치성(strong equivalence)을 검증하는 도구인 anthem을 개발하고, 기존 anthem의 한계(양의 프로그램과 제한된 입력 언어에만 적용 가능)를 극복하기 위해 here-and-there 논리에서 고전 논리로 변환하는 $\sigma^*$ 변환과 pools을 포함하는 프로그램을 처리할 수 있도록 $\tau^*$ 변환을 확장하였다. 확장된 $\tau^*$와 $\sigma^*$를 이용하여 부정, 단순 선택, pools을 포함하는 논리 프로그램의 강한 동치성을 고전 논리로 표현하고, 이를 새로운 버전의 anthem에 구현하여 pools, 부정, 단순 선택 규칙을 포함하는 논리 프로그램의 예시를 제시한다.
