"A Method for Determining the Mod-2k Behaviour of Recursive ..."

Manuel Kauers, Christian Krattenthaler, Thomas W. Müller (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics