The top documents of veri-aspec