Data.Logic.Normal.Clause