@inproceedings{056b3b1d3fa44e18a5dd5ce969c8057c,
title = "CASC-J4 the 4th IJCAR ATP system competition",
author = "Geoff Sutcliffe",
note = "Copyright: Copyright 2011 Elsevier B.V., All rights reserved.; 4th International Joint Conference on Automated Reasoning, IJCAR 2008 ; Conference date: 12-08-2008 Through 15-08-2008",
year = "2008",
doi = "10.1007/978-3-540-71070-7_38",
language = "English (US)",
isbn = "3540710698",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "457--458",
booktitle = "Automated Reasoning - 4th International Joint Conference, IJCAR 2008, Proceedings",
}