The Rho Cube (2001)

by Matching Power
Venue:In Proc. of FOSSACS, volume 2030 of LNCS