Alessandro Armando Tudor Jebelean Special Issue on Calculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors. 303-304 2001 32 J. Symb. Comput. 4 db/journals/jsc/jsc32.html#ArmandoJ01