The top documents of logic4training