@article {1305,
	title = {Special Issue: Computation and Logic in the Real World},
	journal = {Theory of Computing Systems},
	volume = {45},
	year = {2009},
	url = {http://webdiis.unizar.es/~elvira/research.html},
	author = {E. Mayordomo and A. Sorbi and S. B. Cooper}
}

