The Automation Of Reasoning With Incomplete Information door Torsten Schaub