@inproceedings{KS:ARW:2013,
author={Konstantin Korovin and Christoph Sticksel},
title={A Note on Model Representation and Proof Extraction in the First-Order Instantiation-Based Calculus {Inst-Gen}}, 
EDITOR = {Schmidt, Renate A. and Papacchini, Fabio},
YEAR = {2012},
booktitle = {Proceedings of the 19th Automated Reasoning Workshop (ARW'12)},
PUBLISHER = {School of Computer Science, The University of Manchester},
ADDRESS = {Manchester},
PAGES = {11-12},
URL = {http://arw2012.cs.man.ac.uk/},
}