Knowledge Archives in Theorema: A Logic-Internal Approach, Submitted to the (2009)

by C Rosenkranz, B Buchberger, T Jebelean
Venue:University of Linz