Learning to use a text processing system: Evidence from "thinking aloud" protocolsClayton LewisRobert Mack1982CHI 1982
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional LogicYehoshua SagivClaude Delobelet al.1981Journal of the ACM
Linear Algorithm for Data Compression via String MatchingMichael RodehVaughan R. Prattet al.1981Journal of the ACM