George E. Andrews Arnold Knopfmacher An Algorithmic Approach to Discovering and Proving q-Series Identities. 34-43 2001 29 Algorithmica 1 http://link.springer.de/link/service/journals/00453/contents/00/10052/ db/journals/algorithmica/algorithmica29.html#AndrewsK01