Restoring Confluence for Functional Dependencies (2008)

by Tom Schrijvers , Martin Sulzmann