4 works on record
Reasoning web
Studien- und Forschungsführer Künstliche Intelligenz
Design Patterns für mathematische Beweise
Completeness, confluence, and related properties of clause graph resolution