Efficient Discovery of Top-K Sequential Patterns in Event-Based Spatia-Temporal Data | IEEE Conference Publication | IEEE Xplore