The top documents tagged [symbolic reasoning methods]