Computing More Specific Versions of Conditional Rewriting Systems.

Naoki Nishida, Germn Vidal

Browse the full LOPSTR paper archive.