"Node addition and removal in the presence of don't cares."

Yung-Chih Chen, Chun-Yao Wang (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics