Proofs in Context (1994)

by G. Attardi, S. Di Marco, D. Salvi, F. Sebastiani
Venue:IN PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING