%0 Journal Article
%T Nominal Algebra and the HSP Theorem
%A Gabbay, Murdoch J.
%J Journal of Logic and Computation
%V 19
%N 2
%P 341-367
%@ 0955-792X
%D 2009-04-14
%I Oxford University Press
%~ DeepDyve