論理プログラムの強い等価性を合成する: 第一階論理の Craig 補間を用いた答案集合プログラムのための Beth 定義可能性

論理プログラムP、Qと許可された述語集合Vが与えられた場合、PとQが強く等価になるようなプログラムRを効果的に構築できる。これは、第一階論理の Craig 補間を用いて実現できる。