COMPUTATIONS FROM THE ENGLISCH. A PROCEDURAL LOGIC APPROACH FOR REPRESENTING AND UNDERSTANDING ENGLISCH TEXTS - Simmons, Robert F. (Prentice-Hall, 1984)