@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 1st 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}