The Lessac Technologies System for Blizzard Challenge 2010. - Rattima Nitisaroj; Reiner Wilhelms-Tricarico; Brian Mottershead; John Reichenbach; Gary Marple (Blizzard Challenge, 2010)

The Lessac Technologies System for Blizzard Challenge 2011. - Reiner Wilhelms-Tricarico; Brian Mottershead; Rattima Nitisaroj; Michael Baumgartner; John Reichenbach; Gary Marple (Blizzard Challenge, 2011)

Combinatorial and Automated Proofs of Certain Identities. - Justin Brereton; Amelia Farid; Maryam Karnib; Gary Marple; Alex Quenon; Akalu Tefera (Electron. J. Comb., 2011)

The Lessac Technologies Hybrid Concatenated System for Blizzard Challenge 2012. - Reiner Wilhelms-Tricarico; Brian Mottershead; John Reichenbach; Gary Marple (Blizzard Challenge, 2012)

The Lessac Technologies Hybrid Concatenated System for Blizzard Challenge 2013. - Reiner Wilhelms-Tricarico; John Reichenbach; Gary Marple (Blizzard Challenge, 2013)