@techreport{Dominance_Algorithm,
  author  = {Keith D Cooper and Timothy J Harvey and Ken Kennedy},
  title   = {A simple, fast dominance algorithm},
  institution={Rice University},address={Houston},
  month=jan,
  year    = 2006,
  note    = {\url{https://scholarship.rice.edu/handle/1911/96345}}
}

@article{Semilat-AFP,
  author  = {Tobias Nipkow},
  title   = {Semilattices},
  year    = 2000,
  note    = {\url{https://www.isa-afp.org/browser_info/current/AFP/Jinja/Semilat.html}}
}

@article{Listn-AFP,
  author  = {Tobias Nipkow},
  title   = {Lists of a fixed length},
  year    = 2000,
  note    = {\url{https://www.isa-afp.org/browser_info/current/AFP/Jinja/Listn.html}}
}

@article{Kildall-AFP,
  author  = {Tobias Nipkow and Gerwin Klein},
  title   = {Operations on sorted Lists},
  year    = 2000,
  note    = {\url{https://www.isa-afp.org/browser_info/current/AFP/Jinja/Kildall.html}}
}

@article{OpsOnSortedLists-AFP,
  author  = {Peter Lammich},
  title   = {Operations on sorted Lists},
  year    = 2009,
  note    = {\url{https://www.isa-afp.org/browser_info/current/AFP/Collections/Sorted_List_Operations.html}}
}

