Ryutaroh Matsumoto Shinji Miura Finding a Basis of a Linear System with Pairwise Distinct Discrete Valuations on an Algebraic Curve. 309-323 2000 30 J. Symb. Comput. 3 db/journals/jsc/jsc30.html#MatsumotoM00