Tomás Recio Manfred Kerber Computer Algebra and Mechanized Reasoning: Selected St. Andrews' ISSAC/Calculemus 2000 Contributions - Foreword from the Editors. 1-2 2001 32 J. Symb. Comput. 1/2 db/journals/jsc/jsc32.html#RecioK01