Contents

 
• ZDATR Version 1.1 revisions
• ZDATR semantics
  • Undefined paths
  • Semantics for variable/atom clashes
• General remarks
• About this document ...