3 ms·

Paper is here: https://hal.archives-ouvertes.fr/hal-02070778v2/document https://hal.archives-ouvertes.fr/hal-02070778v2/document (I just googled the authors'

by titzer 5y ago

Paper is here: https://hal.archives-ouvertes.fr/hal-02070778v2/document https://hal.archives-ouvertes.fr/hal-02070778v2/document (I just googled the authors' names).