Kreinovich, V. (2008). Equidecomposability (scissors congruence) of polyhedra in R^3 and R^4 is algorithmically decidable: Hilbert's 3rd problem revisted. Geombinatorics, 18(1), 26-34.