Keyword:automating induction

Papers
Sorting Without Sorts Pamina Georgiou, Márton Hajdu and Laura Kovács EasyChair Preprint no. 10632