Search results for: Masahiko Sato
Indagationes Mathematicae > 2013 > 24 > 4 > 1073-1104
Journal of Automated Reasoning > 2012 > 49 > 2 > 185-207
Journal of Symbolic Computation > 2010 > 45 > 5 > 598-616
Indagationes Mathematicae > 2013 > 24 > 4 > 1073-1104
Journal of Automated Reasoning > 2012 > 49 > 2 > 185-207
Journal of Symbolic Computation > 2010 > 45 > 5 > 598-616