@TECHREPORT{Biel-Mass-08-TECHREP,
  author = {N. Bielova and F. Massacci},
  title = {Do you really mean what you actually enforced?},
  institution = {UNITN},
  year = {2008},
  number = {DISI-08-060}
}