The top documents tagged [realisation of logic]