Enrique Casanovas Martin Ziegler 0002 Stable Theories with A New Predicate. 1127-1140 2001 66 J. Symb. Log. 3 db/journals/jsyml/jsyml66.html#CasanovasZ01 http://projecteuclid.org/euclid.jsl/1183746550