Regular Sets of Descendants for Constructor-Based Rewrite Systems.

Pierre Rty

Browse the full LPAR paper archive.