de Nivelle, Hans Programming Logics, MPI for Informatics, Max Planck Society;
de Nivelle, H. (2000). Deciding the E-plus class by an a posteriori, liftable order. Annals of Pure and Applied Logic, 88(1), 219-232.