Consistency of the Matching Predicate
2006 ◽
pp. 555-558