Horn Clauses and Database Dependencies (Extended Abstract)

Ronald Fagin

Browse the full STOC paper archive.