On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Dirk Fuchs. On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi. Fundamenta Informaticae, 39(1-2):123-143, 1999.

@article{Fuchs99,
  title = {On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi},
  author = {Dirk Fuchs},
  year = {1999},
  researchr = {https://researchr.org/publication/Fuchs99},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {39},
  number = {1-2},
  pages = {123-143},
}

runs on WebDSL