The associativity of equivalence and the Towers of Hanoi problem

Roland Carl Backhouse, Maarten M. Fokkinga. The associativity of equivalence and the Towers of Hanoi problem. Inf. Process. Lett., 77(2-4):71-76, 2001. [doi]

Abstract

Abstract is missing.