Finding congruences with the WZ method - Li-Quan Feng; Qing-Hu Hou (2025)