@InProceedings{	  bouquet.99.jnpc,
  author	= {Fabrice Bouquet and Laurent Henocque and Philippe
		  J{\'e}gou},
  title		= {{\'E}num{\'e}ration et repr{\'e}sentation d'impliquants
		  premiers},
  booktitle	= {Actes des cinqui{\`e}mes Journ{\'e}es Nationales sur la
		  r{\'e}solution pratique de Probl{\`e}mes NP-Complets
		  (JNPC'99)},
  pages		= {179--188},
  year		= {1999},
  address	= {Lyon, France},
  month		= jun
}

@InProceedings{	  coudert.92.dac,
  author	= {Olivier Coudert and Jean Christophe Madre},
  title		= {Implicit and Incremental Computation of Primes and
		  Essential Primes of Boolean functions},
  booktitle	= {Proceedings of the 29th ACM/IEEE Design Automation
		  Conference (DAC'92)},
  pages		= {36--39},
  year		= {1992},
  address	= {Anaheim, California, United States},
  month		= jun,
  publisher	= {IEEE Computer Society Press}
}

@InProceedings{	  coudert.93.dac,
  author	= {Olivier Coudert and Jean Christophe Madre and Henri
		  Fraisse},
  title		= {A New Viewpoint on Two-Level Logic Minimization},
  booktitle	= {Proceedings of the 30th ACM/IEEE Design Automation
		  Conference (DAC'93)},
  pages		= {625-630},
  year		= {1993},
  address	= {Dallas, Texas, United States},
  month		= jun,
  publisher	= {IEEE Computer Society Press}
}

@InProceedings{	  coudert.93.sasimi,
  author	= {Olivier Coudert and Jean Christophe Madre and Henri
		  Fraisse and Herv{\'e} Touati},
  title		= {Implici Prime Cover Computation: An Overview},
  booktitle	= {Proceedings of fourth Synthesis and Simulation Meeting and
		  International Interchange workshop (SASIMI'93)},
  pages		= {413--422},
  year		= {1993},
  address	= {Nara, Japan},
  month		= oct
}

@Article{	  coudert.94.int,
  author	= {Oliver Coudert},
  title		= {Two-level logic minimization: an overview},
  journal	= {INTEGRATION, the VLSI journal},
  year		= {1994},
  volume	= {17},
  number	= {2},
  pages		= {97--140},
  month		= oct
}

@InProceedings{	  minato.92.sasimi,
  author	= {Shin{-}ichi Minato},
  title		= {Fast Generation of Irredundant Sum-of-Products Forms from
		  Binary Decision Diagrams},
  booktitle	= {Proceedings of the third Synthesis and Simulation Meeting
		  and International Interchange workshop (SASIMI'92)},
  pages		= {64--73},
  year		= {1992},
  address	= {Kobe, Japan},
  month		= apr
}