Journal of Automated Reasoning

works as
journal containing
Publication_icon.svg On subsumption in distributed derivations (1994) — Maria Paola Bonacina, Jieh Hsiang