Mario Coppo Elena Lodi G. Michele Pinna 287-288 2008 42 Theory Comput. Syst. 3 http://dx.doi.org/10.1007/s00224-007-9033-6 db/journals/mst/mst42.html#CoppoLP08