The undecidability of -definability. Church Memorial volume (1997)

by Springer LNCS TACS'97