enno Ohlebusch
-
Addressed term rewriting systems: application to a typed object calculus
Mathematical Structures in Computer Science
Inference of concise regular expressions and DTDs
ACM Transactions on Database Systems (TODS)