Termination of Fair Computations in Term Rewriting.

Salvador Lucas, Jos Meseguer

Browse the full LPAR paper archive.