![]() |
@inproceedings{DBLP:conf/ijcai/TourD95,
author = {Thierry Boy de la Tour and
St{\'e}phane Demri},
title = {On the Complexity of Extending Ground Resolution with Symmetry
Rules},
booktitle = {IJCAI},
year = {1995},
pages = {289-297},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)