Simulating turing machines in DATR /
Moser, Lionel.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : University of Sussex, School of Cognitive and Computing Sciences,
1992.