"A Technique of Mathematical Expression Structure Analysis for the ..."

Ryoji Fukuda et al. (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics