Hyperequivalence of Logic Programs with Respect to Supported Models.

Miroslaw Truszczynski, Stefan Woltran

Browse the full AAAI paper archive.