"Implementing semantic merging operators using binary decision diagrams."

Nikos Gorogiannis, Anthony Hunter (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics