Journal of Automated Reasoning

funge da
rivista che contiene
Publication_icon.svg On subsumption in distributed derivations (1994) — Maria Paola Bonacina, Jieh Hsiang