@INPROCEEDINGS{MPB-ME:ADDCT2007:viPolyTsat,
AUTHOR = "Maria Paola Bonacina and Mnacho Echenim",
TITLE = "Decision procedures for variable-inactive theories and
two polynomial {$\mathcal{T}$}-satisfiability procedures (Position paper)",
BOOKTITLE = "Proceedings of the First Workshop on Automated Deduction:
Decidability, Complexity, Tractability (ADDCT)",
EDITOR = "Silvio Ghilardi and Ulrike Sattler and Viorica Sofronie and Ashish Tiwari",
PAGES = "65--67",
MONTH = "July",
YEAR = 2007}