Skip to content

A Stronger Notion of Equivalence for Logic Programs.

Ka-Shu Wong

VenueBICLP
Year2007
ProceedingsICLP

Browse the full ICLP paper archive.