A Logical Query Language for Hypertext Systems