A New Algorithm for Subsumption Test | AMiner