@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 = "Notes of the First Workshop on Automated Deduction:
Decidability, Complexity, Tractability (ADDCT),
Twenty-first International Conference on Automated Deduction (CADE)",
EDITOR = "Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie and Ashish Tiwari",
PAGES = "65--67",
MONTH = "July",
YEAR = 2007}