Changes

Summary

1. no check for bibtex entries from other sessions;
2. clarified signature;
3. more accurate message patterns;
4. prefer formal citations; more accurate bibtex entries;
5. proper bibtex entries;
6. formal check of @{cite} bibtex entries -- only in batch-mode session builds;