Mark L. Miller, Ira P. Goldstein. Problem solving grammars as formal tools for intelligent CAI. In James S. Ketchel, Harvey Z. Kriloff, H. Blair Burner, Patricia E. Crockett, Robert G. Herriot, George B. Houston, Cathy S. Kitto, editors, Proceedings of the 1977 annual conference, ACM '77, Seattle, Washington, USA, October 16-19, 1977. pages 220-226, ACM, 1977. [doi]
Abstract is missing.