Publications by the researcher in collaboration with Antonio J. García Meseguer (2)