Axiomatization for 1-level universal AND operator
MA Ying-cang, HE Hua-can
Acta Metallurgica Sinica(English letters) . 2008, (2): 125 -129 .  DOI: 1005-8885 (2008) 02-0125-05