The top documents tagged [minimal usage of logic]