177
click to vote
HT
1999
ACM
16 years 1 days ago
1999
ACM
We propose a structure analysis and proof framework for hypertext with conditional linkage. This framework can provide hypertext systems with a powerful and simple tool to help th...