Inorder traversals iterates elements in sorted order. simultaneously do inorder traversal on both BSTs, on each iteration advancing bst with smaller head. terminate when a) match is found or b) one or both iterators are exhausted. O(min(m,n)) time, constant space