Margarita Otero The Joint Embedding Property in Normal Open Induction. 275-290 1993 60 Ann. Pure Appl. Logic 3 db/journals/apal/apal60.html#Otero93