The top documents of logic-integration