Verifying a Decision Procedure for Pattern Completeness. | AMiner