On close-packed double error-correcting codes on P symbols (Corresp.). - Carl Engelman (IRE Trans. Inf. Theory, 1961)

MATHLAB: a program for on-line machine assistance in symbolic computations. - Carl Engelman (AFIPS Fall Joint Computing Conference (2), 1965)

MATHLAB 68. - Carl Engelman (IFIP Congress (1), 1968)

The legacy of MATHLAB 68. - Carl Engelman (SYMSAC, 1971)

Machine-made analytic solutions of finite state Markov processes. - Carl Engelman; A. J. Kleinman (ACM Annual Conference (2), 1972)

MATHLAB tutorial. - Carl Engelman (ACM Annual Conference, 1975)

KNOBS: An Experimental Knowledge Based Tactical Air Mission Planning System and a Rule Based Aircraft Identification Simulation Facility. - Carl Engelman; Charles H. Berg; Miriam B. Bischoff (IJCAI, 1979)

Interactive Frame Instantiation. - Carl Engelman; Ethan A. Scarl; Charles H. Berg (AAAI, 1980)

Knowledge Based Question Answering. - Michael J. Pazzani; Carl Engelman (ANLP, 1983)