Media type: E-Article Title: Frontiers of Combining Systems: Automatic Proof and Disproof in Isabelle/HOL Contributor: Blanchette, Jasmin Christian; Bulwahn, Lukas; Nipkow, Tobias Published: Springer Berlin Heidelberg, 2011 Published in: Frontiers of Combining Systems (2011), Seite 12-27 Language: Not determined DOI: 10.1007/978-3-642-24364-6_2 ISSN: 0302-9743; 1611-3349 Origination: Footnote: