Cristina Bertone Francesca Cioffi Paolo Lella Margherita Roggero Upgraded methods for the effective computation of marked schemes on a strongly stable ideal. 263-290 2013 50 J. Symb. Comput. https://doi.org/10.1016/j.jsc.2012.07.006 db/journals/jsc/jsc50.html#BertoneCLR13