1. Andrews, P.: A Universal Automated Information System for Science and Technology. In: First Workshop on Challenges and Novel Applications for Automated Reasoning, pp. 13–18 (2003)
2. Beasley, J.: OR-Library: Distributing test problems by electronic mail. Journal of the Operational Research Society 41(11), 1069–1072 (1990)
3. Boyer, R., et al.: The QED Manifesto. Automated Deduction–CADE 12, 238–251 (1994)
4. Clark, J., Murata, M., et al.: Relax NG specification – Committee Specification 3 December 2001. Web document (2001).
http://www.oasis-open.org/committees/relaxng/spec-20011203.html
5. Covington, M.: A fundamental algorithm for dependency parsing. In: Proceedings of the 39th annual ACM southeast conference, pp. 95–102. Citeseer (2001)