Login / Signup

On subsumption in distributed derivations.

Maria Paola BonacinaJieh Hsiang
Published in: J. Autom. Reason. (1994)
Keyphrases