Alexej P. Pynko: Functional completeness, axiomatizability within Belnap's four valued logic and its expansions. J. Appl. Non Class. Logics 9(1): 61-105 (1999)