1. B. Alarcón, F. Emmes, C. Fuhs, J. Giesl, R. Gutiérrez, S. Lucas, P. Schneider-Kamp, R. Thiemann, Improving context-sensitive dependency pairs, in: I. Cervesato, H. Veith, A. Voronkov (Eds.), Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR’08, LNAI, vol. 5330, Springer, Berlin, 2008, pp. 636–651.
2. Proving termination of context-sensitive rewriting with MU-TERM;Alarcón;Electronic Notes in Theoretical Computer Science,2007
3. B. Alarcón, R. Gutiérrez, S. Lucas, Context-sensitive dependency pairs, in: S. Arun-Kumar, N. Garg (Eds.), Proceedings of the XXVI Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS’06, LNCS, vol. 4337, Springer, Berlin, 2006, pp. 297–308.
4. Improving the context-sensitive dependency graph;Alarcón;Electronic Notes in Theoretical Computer Science,2007
5. B. Alarcón, S. Lucas, Termination of innermost context-sensitive rewriting using dependency pairs, in: B. Konev, F. Wolter (Eds.), Proceedings of the Sixth International Symposium on Frontiers of Combining Systems, FroCoS’07, LNAI, vol. 4720, Springer, Berlin, 2007, pp. 73–87.