@InProceedings{MM-96-1,
title = { Theory Reasoning within Implicant Cover Compilations},
booktitle = {Proceedings of the ECAI-96 Workshop on Advances in Propositional Deduction(Wks-APD-ECAI'96)},
pages = {65-69},
author = {Mazure, Bertrand and Marquis, Pierre},
OPT_auteurs_membres = {Mazure, Bertrand and Marquis, Pierre},
year = {1996},
month = {aug},
address = { Budapest, Hongrie},
}