@article{P111.151,
author={Weyten, Ludo and Rombouts, Pieter and Catteau, Benoit and De Bock, Maarten},
title={Validation of symbolic expressions in circuit analysis e-learning},
journal={IEEE TRANSACTIONS ON EDUCATION},
year={2011},
volume={54},
number={4},
pages={564-568},
}