논리 프로그램의 강력한 동등성을 합성하기: 첫 순서 논리에서 Craig 보간을 통한 답변 집합 프로그램의 Beth 정의가능성

논리 프로그램의 강력한 동등성을 보장하는 대체 프로그램을 자동으로 합성할 수 있다. 이를 위해 Craig 보간과 Beth 정의가능성을 활용한다.