@InProceedings{l14-202-213,
AUTHOR = {Edward~Hermann Haeusler and Mauricio Ayala-Rinc\'on},
TITLE = {On the Computability of Relations on \(\lambda\)-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions},
YEAR = {2014},
BOOKTITLE = {Proc.~of the 11th Latin American Symposium on Theoretical Informatics (LATIN'14)},
ADDRESS = {Montevideo, Uruguay},
PAGES = {202--213},
KEYWORDS = {}}