Larry Wos The Problem of Demodulator Adjunction. 289-290 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#Wos92d