X-2013-01: Apostolos Tzimoulis, Zhiguang Zhao The Universal Model for the Negation-free Fragment of IPC 1.Full Text, 2.Abstract. < Back
