Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic.

Jan Heuer, Christoph Wernhard

Browse the full IJCAR paper archive.