%0 Conference Proceedings
%A Dawson, Jeremy E.
%A Gore, Rajeev
%D 2007
%T Termination of Abstract Reduction Systems
%E Gudmundsson, Joachim
%E Jay, Barry
%B Thirteenth Computing: The Australasian Theory Symposium (CATS2007)
%C Ballarat, Australia
%I ACS
%V 65
%P 35-43
%S CRPIT
%! Termination of Abstract Reduction Systems
%F CRPITV65-35-43
%Z abstract
%U http://crpit.com/confpapers/CRPITV65Dawson.pdf