@article{journals/jetai/StachniakB08,
	title = {Weighting strategy for non-clausal resolution.},
	author = {Zbigniew Stachniak and Anton Belov},
	journal = {J. Exp. Theor. Artif. Intell.},
	number = {1},
	pages = {61-78},
	url = {http://dblp.uni-trier.de/db/journals/jetai/jetai20.html#StachniakB08},
	volume = {20},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/21af007934868bbaf463b305b0d35f143/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1080/09528130701475617}, date = {2008-02-28},
	keywords = {dblp }
}