An overview of automated reasoning. - Stephen D. Post; Andrew P. Sage (IEEE Trans. Syst. Man Cybern., 1990)

A least exception logic shell for intelligent systems. - Stephen D. Post; Andrew P. Sage (Int. J. Intell. Syst., 1992)

Network planning with a performance-prediction tool. - Stephen D. Post (Int. J. Netw. Manag., 1999)