Edith Aguirre Abdul Salam Jarrah Reinhard C. Laubenbacher Generic ideals and Moreno-Socías conjucture. 21-23 2001 ISSAC http://doi.acm.org/10.1145/384101.384105 db/conf/issac/issac2001.html#AguirreJL01