http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
A Unification graph with constraints for intelligent backtraining in deduction systems
JANSON, Agnes: -- A Unification graph with constraints for -- intelligent backtraining in deduction -- systems.1984 -- s.DILGER, Werner.