Delete trailing whitespace
underscore in BibTeX keys means trouble: do not use it
Minor corrections to the tutorial, and half translation of description.
Italian translations of Logic and Description sources