@inproceedings{clavel-riesco06,
author = {M.~Clavel and A.~Riesco},
booktitle = {Proceedings of the Second International Congress on Tools for Teaching Logic (SICTTL)},
city = {Salamanca, Spain},
date = {September 26-30, 2006},
editor = {M. Manzano},
institution = {Universidad de Salamanca},
title = {The Web ITP: a quick overview},
projects = {MERIT},
butype = {proceedings},
year = {2006}
}