@article{Clavel:jucs_12_11:introducing_the_itp_tool,
author = {M.~Clavel and M.~Palomino and A.~Riesco},
journal = {Journal of Universal Computer Science},
number = {11},
pages = {1618--1650},
title = {Introducing the ITP Tool: a Tutorial},
url = {http://www.jucs.org/jucs_12_11/introducing_the_itp_tool},
volume = {12},
projects = {MERIT},
butype = {article},
year = {2006}
}