@article{journals/corr/cs-AI-9803103,
	title = {Tractability of Theory Patching},
	author = {Shlomo Argamon-Engelson and Moshe Koppel},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr9803.html#cs-AI-9803103},
	volume = {cs.AI/9803103},
	year = {1998},
	biburl = {http://www.bibsonomy.org/bibtex/21c89a7664b185a78065c5268ad54de6f/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cs.AI/9803103}, date = {2008-01-02},
	keywords = {dblp }
}