
An algorithmic approach to resolutions
Edward L. Green, Øyvind SolbergVolume:
42
Année:
2007
Langue:
english
Pages:
22
DOI:
10.1016/j.jsc.2007.05.002
Fichier:
PDF, 441 KB
english, 2007