Return to Article Details Prime Implicate Generation in Equational Logic Download Download PDF