Analysis of Reasoning Methods: Deliverable D3.1 V1 Publication details Publisher: Norsk Regnesentral Series: NR-notat () Year: 2013 Number of pages: 20 You are here: Home Publications Report Analysis of Reasoning Methods: Deliverable D3.1 V1