Marc J. Lipman, Robert L. Sedlmeyer. Developments in an expert system for graph theory investigation. In Lawrence A. Jehn, Larry A. Crum, editors, Proceedings of the 14th ACM Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986. pages 327-330, ACM, 1986. [doi]
Abstract is missing.