Fixed utf characters in bibtex refs, fixed missing references in prolog implementation section