The Clause-Diffusion Methodology for Distributed Deduction - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Maria Paola Bonacina, Jieh Hsiang. The Clause-Diffusion Methodology for Distributed Deduction. Fundamenta Informaticae, 24(1/2):177-207, 1995.

@article{BonacinaH95:0,
  title = {The Clause-Diffusion Methodology for Distributed Deduction},
  author = {Maria Paola Bonacina and Jieh Hsiang},
  year = {1995},
  researchr = {https://researchr.org/publication/BonacinaH95%3A0},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {24},
  number = {1/2},
  pages = {177-207},
}

runs on WebDSL