Constraint-Based Hypertext for Argumentation ; CU-CS-379-87