C. N. Taylor, J. B. H. du Boulay, Mukesh J. Patel. Textual Tree Trace Notation for Prolog: an Overview. In Rosa Maria Bottino, Paola Forcheri, Maria Teresa Molfino, editors, ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994. 1994.
Abstract is missing.