The top documents of logics-software