Automated resoning - Basin, David (New York Springer, 2004)