"Functional Approaches to Generating Orderings for Efficient Symbolic ..."

M. Ray Mercer, Rohit Kapur, Don E. Ross (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics