The Rho Cube (2001)

by H Cirstea, C Kirchner, L Liquori
Venue:In Proc. of FOSSACS, volume 2030 of LNCS