Next:
Non-ground facts
Up:
Specification of graph rewrite
Previous:
Nested rule groups
Other kinds of rules
Non-ground facts
Verbose syntax for rules
Single source path problems (SSPPs)
View rules
Uwe Assmann
1998-12-22
