Automating the Knuth Bendix ordering Jeremy DickJohn KalmusUrsula Martin OriginalPaper Pages: 95 - 119
Binary search trees of almost optimal height Arne AnderssonChristian IckingThomas Ottmann OriginalPaper Pages: 165 - 178
On characterizations of recursively enumerable languages Michel LatteuxPaavo Turakainen OriginalPaper Pages: 179 - 186