@article{journals/aml/MarekNR97,
	title = {Nonmonotonic rule systems with recursive sets of restraints.},
	author = {V. Wiktor Marek and Anil Nerode and Jeffrey B. Remmel},
	journal = {Arch. Math. Log.},
	number = {4-5},
	pages = {339-384},
	url = {http://dblp.uni-trier.de/db/journals/aml/aml36.html#MarekNR97},
	volume = {36},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2f460cac1a745e67e1d56efa2c1fd6a7f/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/s001530050070}, date = {2008-07-17},
	keywords = {dblp }
}