The Undecidability of *-definability, manuscript (1993)

by R Loader