Layman E. Allen, Symbolic Logic: A Razor-Edged Tool for Drafting and Interpreting Legal Documents, The Yale Law Journal, Vol. 66, No. 6 (May, 1957), pp. 833-879 ...