Isolation, Infima and Diamond Embeddings. - Liu, Jiang; Wu, Guohua (J. Log. Comput., 2007)