Thomas, Stephen Naylor. Practical reasoning in natural language / Stephen Naylor Thomas. - 3rd ed. - Englewood cliffs, New Jersey : Prentice-Hall, c1986. - xii, 468 p. : ill. ; 24 cm. Includes index. ISBN: 0136921531 Subjects--Topical Terms: Reasoning. LC Class. No.: BC177 / .T56 1986