Evaluation in DATR is co-NP-hard /
Moser, Lionel.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : University of Sussex, School of Cognitive and Computing Sciences,
1992.