Deciding Pattern Completeness

This page contains supplementary material of two papers on decision procedures for pattern completeness.

supporting material of the FSCD paper "A verified algorithm for deciding pattern completeness"
supporting material of the JLAMP submission "A verified algorithm for deciding pattern completeness in non-deterministic polynomial time"