%0 Journal Article %J Theory of Computing Systems %D 2009 %T Special Issue: Computation and Logic in the Real World %A E. Mayordomo %A A. Sorbi %A S. B. Cooper %N 4 %U http://webdiis.unizar.es/~elvira/research.html %V 45