A Formal Definition of Colture

@techreport{blanzieri-tr09-021,
   address = {Universit{\`a} di Trento, Italy},
   apice = {BlanzieriTr09021},
   author = {Birukou, Aliaksandr and Blanzieri, Enrico and Giorgini, Paolo and Giunchiglia, Fausto},
   institution = {Dipartimento di Ingegneria e Scienze dell'Informazione (DISI)},
   month = jun,
   number = {DISI-09-021},
   title = {A Formal Definition of Colture},
   type = {Technical Report},
   url = {http://eprints.biblio.unitn.it/archive/00001604/01/021.pdf},
   year = 2009
}