Media type: E-Article Title: Automated Reasoning: CCE: Testing Ground Joinability Contributor: Avenhaus, Jürgen; Löchner, Bernd imprint: Springer Berlin Heidelberg, 2001 Published in: Automated Reasoning Language: Not determined DOI: 10.1007/3-540-45744-5_53 ISSN: 0302-9743; 1611-3349 Origination: Footnote: