K. Garg

Abstraction is the means by which information can be stored and retrieved from an information structure at different levels of detail and from different perspectives. As such, abstraction mechanisms in hypertext are interesting to evaluate from a theoretical perspective as they become various first-order logic formulae.