Johan de Kleer An Improved Incremental Algorithm for Generating Prime Implicates. 780-785 1992 AAAI db/conf/aaai/aaai92.html#Kleer92