The top documents tagged [logicfunction add05]