Reasoning about arrays
Reynolds, John C.
University of Edinburgh.Department of Artificial Intelligence.
University of Edinburgh.Department of Computer Science.
Edinburgh University of Edinburgh Dept. of Artificial Intelligence Dept. of Computer Science
1977
Data structures (Computer science)