Salvador Lucas, José Meseguer
Operational Termination of Membership Equational Programs: the Order-Sorted Way
WRLA, 2009.
@article{WRLA-2008-LucasM09, author = "Salvador Lucas and José Meseguer", doi = "10.1016/j.entcs.2009.05.021", journal = "{Electronic Notes in Theoretical Computer Science}", number = 3, pages = "207--225", title = "{Operational Termination of Membership Equational Programs: the Order-Sorted Way}", volume = 238, year = 2009, }