The top documents tagged [logic languages clausal]