@InProceedings{MSG-98-2,
title = {System Description: CRIL Platform for SAT},
booktitle = {Proceedigns of the 15th Intl. Conf. on Automated Deduction(CADE-15)},
publisher = {LNCS 1421, Springer Verlag},
editor = {Kirchner C. et Kirchner H.},
pages = {124-128},
author = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
OPT_auteurs_membres = {Mazure, Bertrand and Saïs, Lakhdar and Grégoire, Éric},
year = {1998},
month = {jul},
address = {Lindau, Allemagne},
}