http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 proceedings
Lecture notes in artificial intelligence 607
Lecture notes in artificial intelligence