@techreport {TR-1996-012,
   type = {Technical Report},
   author = {James Crawford, Matthew Ginsberg, Eugene Luks, Amitabha Roy },
   title = {Symmetry-Breaking Predicates for Search Problems},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = TR-1996-012,
   month = 8,
   year = 1996,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/TR-1996-012.pdf}},
}