![](/img/cover-not-exists.png)
Sufficient completeness verification for conditional and constrained TRS
Adel Bouhoula, Florent JacquemardVolume:
10
Year:
2012
Language:
english
DOI:
10.1016/j.jal.2011.09.001
File:
PDF, 479 KB
english, 2012