journal : Journal of Automated Reasoning

1 article
Publication_icon.svg On subsumption in distributed derivations (1994) — Maria Paola Bonacina, Jieh Hsiang