Implementing AC-3