PP-2014-02: Nick Bezhanishvili, Dion Coumans, Sam van Gool, Dick de Jongh Duality and universal models for the meet-implication fragment of IPC 1.Full Text, 2.Abstract. < Back
