@inproceedings{sv06,
author = {A.~Sarasa and R.~del Vado-V\'{\i}rseda},
booktitle = {Proceedings of the Second International Congress on Tools for Teaching Logic (SICTTL 2006)},
city = {Salamanca, Spain},
date = {September 26-30, 2006},
editor = {M. Manzano},
institution = {Universidad de Salamanca},
pages = {183-186},
title = {Propositional Logic Learning Objects},
projects = {MERIT,PROMESAS},
butype = {proceedings},
year = {2006}
}