@INPROCEEDINGS{ClavelEtAl06b,
  author =       {Manuel Clavel and Miguel Palomino and Adri\'an Riesco},
  title =        {Introducing the {ITP} Tool: a Tutorial},
  booktitle =    {PROLE'05. Selected papers},
  editor =       {F. L\'opez-Fraguas},
  series =       {Journal of Universal Computer Science},
  publisher =    {Springer},
  volume =       12,
  number =       11,
  pages =        {1618-1650},
  year =         2006
}