A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

@inproceedings{pub6791,
    author = {

Lange, Christoph
 and 

Caminati, Marco B.
 and 

Kerber, Manfred
 and 

Mossakowski, Till
 and 

Rowat, Colin
 and 

Wenzel, Makarius
 and 

Windsteiger, Wolfgang
},
    editor = {

Carette, Jacques
 and 

Davenport, James H.
 and 

Windsteiger, Wolfgang
 and 

Sojka, Petr
 and 

Aspinall, David
 and 

Lange, Christoph
},
    title = {A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory},
    booktitle = {Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-13), July 8-12, Bath, United Kingdom},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2013},
    publisher = {Springer}
}