parid9004 | Tue, 25 Feb 2003 17:04:28
Edges in an assertion
(add)
new section on inventory of edges in an assertion
parid9004 | Tue, 25 Feb 2003 17:04:28
Between every two nodes that serve as the endpoints of arcs in an assertion, there exists an edge.
(add)
new section stating the occurrence of edges in an assertion. note
that there are NOT edges between every two nodes but only between those
that are the endpoints of two arcs (the arc and its mirror case)