@Inproceedings{EPTCS296.8, author = {De Angelis, Emanuele and Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio}, year = {2019}, title = {Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification}, editor = {De Angelis, Emanuele and Fedyukovich, Grigory and Tzevelekos, Nikos and Ulbrich, Mattias}, booktitle = {{\rm Proceedings of the Sixth Workshop on} Horn Clauses for Verification and Synthesis {\rm and Third Workshop on} Program Equivalence and Relational Reasoning, {\rm Prague, Czech Republic, 6-7th April 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {296}, publisher = {Open Publishing Association}, pages = {48-75}, doi = {10.4204/EPTCS.296.8}, }