Skip to content

Relativized Hyperequivalence of Logic Programs for Modular Programming.

Miroslaw Truszczynski, Stefan Woltran

VenueBICLP
Year2008
ProceedingsICLP

Browse the full ICLP paper archive.