On the Complexity of Extending Ground Resolution with Symmetry Rules - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Thierry Boy de la Tour, Stéphane Demri. On the Complexity of Extending Ground Resolution with Symmetry Rules. In IJCAI. pages 289-297, 1995.

@inproceedings{TourD95,
  title = {On the Complexity of Extending Ground Resolution with Symmetry Rules},
  author = {Thierry Boy de la Tour and Stéphane Demri},
  year = {1995},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/TourD95},
  cites = {0},
  citedby = {0},
  pages = {289-297},
  booktitle = {IJCAI},
}

runs on WebDSL