A Verified Algorithm for Deciding Pattern Completeness.

Ren Thiemann, Akihisa Yamada

Browse the full FSCD paper archive.