AVL tree insertion: A benchmark program biased towards Prolog. Logic Programming Newsletter 2 (1981)

by M van Emden
Venue:Proceedings of the 12th International Logic Programming Symposium