Tools for Finding Inconsistencies in Real-world Logic-based Systems. - Kevin McAreavey; Weiru Liu; Paul Miller 003; Chris Meenan (STAIRS, 2012)