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
Citations:27 - 4 self