http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
playing with quantifiers and decompositions
Includes bibliographical references (pages [111]-116) and index.
Lecture notes in computer science ; 6810
Lecture notes in artificial intelligence
Lecture notes in artificial intelligence. FoLLI publications on logic, language and information