@inproceedings{rauzy:hal-03301149, TITLE = {{Calcul propositionnel : vers une extension du formalisme}}, AUTHOR = {Rauzy, A. and Sa{\"i}s, Lakhdar and Brisoux, Laure}, URL = {https://univ-artois.hal.science/hal-03301149}, BOOKTITLE = {{Actes des Cinqui{\`e}mes Journ{\'e}es Nationales sur la R{\'e}solution Pratique des Probl{\`e}mes NP-Complets (JNPC-99)}}, ADDRESS = {Lyon, France}, PAGES = {189-198}, YEAR = {1999}, HAL_ID = {hal-03301149}, HAL_VERSION = {v1}, }