The top documents tagged [rule interpreter algorithm]