, 2008, Quantum combing, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 159-174.