Proofs in Context (1994)

by G. Attardi, S. Di Marco, D. Salvi, F. Sebastiani, Istituto Di Elaborazione
Venue:In Principles of Knowledge Representation and Reasoning