The top documents tagged [closed horn theories]