On the Complexity of Extending Ground Resolution with Symmetry Rules

de la Tour and Demri. "On the Complexity of Extending Ground Resolution with Symmetry Rules." International Joint Conference on Artificial Intelligence, 1995.

[de la Tour and Demri. "On the Complexity of Extending Ground Resolution with Symmetry Rules." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/delatour1995ijcai-complexity/)

@inproceedings{delatour1995ijcai-complexity,
  title     = {{On the Complexity of Extending Ground Resolution with Symmetry Rules}},
  author    = {de la Tour, Thierry Boy and Demri, Stéphane},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {289-297},
  url       = {https://mlanthology.org/ijcai/1995/delatour1995ijcai-complexity/}
}