Additions in dtai.
Manual merge of bib.