Knowledge Archives in Theorema: A Logic-Internal Approach. RISC Report Series 09-01, Research Institute for Symbolic Computation (RISC (2009)

by Camelia Rosenkranz, Bruno Buchberger, Tudor Jebelean
Venue:University of Linz, Schloss Hagenberg