Extending techniques used to determine the set of rational points on an algebraic curve