which is - in terms of ASMs - equivalent to the conditional rule

where *n* is a unique number representing the *n*'th occurrence of a
``once''-rule in the ASM, and *once* is a one-ary dynamic relation initialized with
for all these numbers *n*. The notation ``once *R*'' is an
abbreviation for

Philipp Kutter 2002-03-18