Bradd Hart Anand Pillay Sergei Starchenko Triviality, NDOP and Stable Varieties. 119-146 1993 62 Ann. Pure Appl. Logic 2 db/journals/apal/apal62.html#HartPS93