An Efficient Unification Algorithm
Optimizing decision trees through heuristically guided search
Communications of the ACM
ACM Transactions on Programming Languages and Systems
Alberto Martelli
Fine-Grained Access Control via Policy-Carrying Data
The assignment of computational tasks among processors in a distributed system