One More Decidable Class of Finitely Ground Programs.

Yuliya Lierler, Vladimir Lifschitz

Browse the full ICLP paper archive.