Sorting Without Sorts

EasyChair Preprint 10632, version history

Pamina Georgiou, Marton Hajdu and Laura Kovacs

Version	Date	Pages	Version notes
1	July 29, 2023	17
2	October 30, 2023	21	we include our intuition on manual proof splits

Keyphrases: automated software verification, automated theorem proving, automating induction, first-order theorem proving, function calls, induction in first-order logic, software correctness, sorting algorithms, superposition-based theorem proving

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@booklet{EasyChair:10632,
  author    = {Pamina Georgiou and Marton Hajdu and Laura Kovacs},
  title     = {Sorting Without Sorts},
  howpublished = {EasyChair Preprint 10632},
  year      = {EasyChair, 2023}}