Practical reasoning in natural language - Thomas, Stephen Naylor (New Jersey : Prentice-Hall, 1986)