Matroid Automorphisms And Symmetry Groups. - Lori Fern; Gary Gordon; Jason Leasure; Sharon Pronchik (Comb. Probab. Comput., 2000)

Model Checking Regular Language Constraints. - Arlen Cox; Jason Leasure (CoRR, 2017)