Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations.

Yuliya Lierler, Vladimir Lifschitz

Browse the full LPNMR paper archive.