LP-1996-06: Lepage, François and Lapierre, Serge (1996) The Functional Completeness of 4-value Monotonic Protothetics. [Report]