Title: Reliable reasoning
First published: 2007
LC classification: BC