On the Automatic Verification of Non−Standard Measures of Consistency

Bibliographic Details
Main Authors: Bolton, C, Lowe, G
Format: Conference item
Published: BCS 2003