NP-Completeness Results for Deductive Problems on Stratified Terms.

Thierry Boy de la Tour, Mnacho Echenim

Browse the full LPAR paper archive.