Symbolic Computation of Lax Pairs of Partial Difference Equations using Consistency Around the Cube

Terry Bridgman, Willy Hereman, G. R. W. Quispel, Peter H. van der Kamp. Symbolic Computation of Lax Pairs of Partial Difference Equations using Consistency Around the Cube. Foundations of Computational Mathematics, 13(4):517-544, 2013. [doi]