Transitive Halifax: An Activity-Based Search Engine for Bus Routes | IEEE Conference Publication | IEEE Xplore