Experimentation with proof methods for non-Horn sets. - Chris Merz; Ralph W. Wilkerson (SAC, 1992)