The WZ method has successfully found a recurrence for the
appearing in (8.1) of . This identity was posed as a conjecture
at the Ann Arbor Conference on Algebra and Combinatorics in June
1994. D. Stanton observed that it is a special case of [8, eq. (1.8),]
(Click here to see this equation)
and subsequently D. Zeilberger proved it by using the WZ method to
find a recurrence. A fuller account will appear elsewhere .
In addition, I have been unable to prove any ``series to series''
identities using Pfaff. Perhaps Whipple's celebrated theorem 
(cf. [6, p. 25, eq. (4),]) will be the most instructive example.