Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt: A logic mutation approach to selective mutation for programs and queries. Inf. Softw. Technol. 53(10): 1137-1152 (2011)