http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
SCHNEIDER, Hans-Albert: -- A Theorem proving associative processor.1985 -- s.DILGER, Werner.