Proofs in context (1994)

by G Attardi, M Simi
Venue:KR’94: Principles of Knowledge Representation and Reasoning