The Automation Of Reasoning With Incomplete Information by Torsten Schaub