Storage schemes for boundedly extendible arrays Arnold L. RosenbergLarry J. Stockmeyer OriginalPaper Pages: 289 - 303
On the role of unification in mechanical theorem proving Robert E. Shostak OriginalPaper Pages: 319 - 323