The Logic-Termal Equivalence is Polynomial-Time Decidable.

Viktor K. Sabelfeld The Logic-Termal Equivalence is Polynomial-Time Decidable. 57-62 1980 10 Inf. Process. Lett. 2 db/journals/ipl/ipl10.html#Sabelfeld80