PLAZA. ON THE PROPOSITIONAL SLDNF-RESOLUTION. no. 04, World Scientific Pub Co Pte Lt, 1996, doi:10.1142/s0129054196000269.