P. Narendran;F. Otto
-;-
Checking Simple Properties of Transition Systems Defined by Thue Specifications
Journal of Automated Reasoning