Massimo Caboara Sara Faridi Peter Selinger Tree Checking for Sparse Complexes. 110-121 2006 conf/icms/2006 ICMS http://dx.doi.org/10.1007/11832225_10 db/conf/icms/icms2006.html#CaboaraFS06