Laurent Bienvenu Andrei E. Romashchenko Alexander Shen Sparse sets. 18-28 2008 JAC conf/jac/2008 db/conf/jac/jac2008.html#BienvenuRS08