An Extension to ALGOL for Manipulating Formulae* CACM February, 1964 Perlis, A. J. Iturriaga, R. CA640211 JB March 10, 1978 3:45 AM 1024 4 1132 1051 4 1132 1086 4 1132 1102 4 1132 1132 4 1132 1132 4 1132 1234 4 1132 1263 4 1132 1265 4 1132 1270 4 1132 1323 4 1132 1358 4 1132 1379 4 1132 1380 4 1132 1390 4 1132 1453 4 1132 1464 4 1132 1484 4 1132 1486 4 1132 1491 4 1132 1498 4 1132 1549 4 1132 1613 4 1132 1614 4 1132 1706 4 1132 1781 4 1132 1825 4 1132 1826 4 1132 1860 4 1132 1878 4 1132 378 4 1132 2060 4 1132 2083 4 1132 2155 4 1132 2168 4 1132 2178 4 1132 2179 4 1132 2252 4 1132 2325 4 1132 2341 4 1132 2546 4 1132 2645 4 1132 2652 4 1132 2684 4 1132 2719 4 1132 2723 4 1132 2838 4 1132 2842 4 1132 2842 4 1132 2855 4 1132 2879 4 1132 2929 4 1132 2934 4 1132 3069 4 1132 3077 4 1132 3080 4 1132 3106 4 1132 627 4 1132 669 4 1132 679 4 1132 691 4 1132 761 4 1132 106 4 1132 949 4 1132 989 4 1132 1132 5 1132 1132 5 1132 1132 5 1132 1214 5 1132 210 5 1132 1396 5 1132 3184 5 1132 964 6 1132 1028 6 1132 1029 6 1132 1083 6 1132 1132 6 1132 1132 6 1132 1214 6 1132 1278 6 1132 1334 6 1132 1365 6 1132 1386 6 1132 1387 6 1132 1388 6 1132 1392 6 1132 1393 6 1132 1394 6 1132 1395 6 1132 1396 6 1132 1397 6 1132 1496 6 1132 284 6 1132 407 6 1132 3199 6 1132 3200 6 1132 3201 6 1132 3202 6 1132 3203 6 1132 3204 6 1132 561 6 1132 730 6 1132 731 6 1132