@PROCEEDINGS{SutcliffeSchmidtSchulz06,
AUTHOR = {Sutcliffe, G. and Schmidt, R. and Schulz, S.},
YEAR = {2006},
TITLE = {Proceedings of the FLoC'06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), 3rd International Joint Conference on Automated Reasoning},
SERIES = {CEUR Workshop Proceedings},
VOLUME = = {192},
ISBN = {ISSN 1613-0073}
}