Noncommutative Grabner Bases and Filtered-Graded Transfer by Huishi Li