Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, editors, Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. Volume 21 of EPiC Series, EasyChair, 2013. [doi]
Conference: cade2013
@proceedings{cade-2012paar,
title = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012},
year = {2013},
url = {http://www.easychair.org/publications/?page=1924317986},
researchr = {https://researchr.org/publication/cade-2012paar},
cites = {0},
citedby = {0},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012},
conference = {cade},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
volume = {21},
series = {EPiC Series},
publisher = {EasyChair},
}