@proceedings{RISC2128,
author = {Tudor Jebelean},
title = {{Calculemus: Integrating Computation and Deduction}},
language = {english},
volume = {32},
number = {4},
year = {2001},
month = {November},
note = {Special Issue of Journal of Symbolic Computation},
editor = {Armando and Jebelean},
length = {0},
conferencename = {Calculemus: Integrating Computation and Deduction}
}