The top documents tagged [logicfunction add04]