Castro, J.; Farreres, J.; Gabarro, J.; Nivela, M.; Perez-Poch, A.; Pino, E.; Rivero, J. Jornadas sobre la Enseñanza Universitaria de la Informática p. 247-254 Presentation's date: 2018-07 Presentation of work at congresses
Rivero, J.; Cajas, J.; Houzeaux, G.; Vazquez, M. BSC Severo Ochoa Doctoral Symposium p. 125 Presentation's date: 2015 Presentation of work at congresses
Nieuwenhuis, R.; Rivero, J. Information and computation Vol. 178, num. 2, p. 422-440 DOI: 10.1006/inco.2002.3146 Date of publication: 2002-11 Journal article
Nieuwenhuis, R.; Rivero, J.; Vallejo, M. Journal of automated reasoning Vol. 18, p. 171-176 DOI: 10.1023/A:1005862710017 Date of publication: 1997-04 Journal article
Nieuwenhuis, R.; Rivero, J.; Vallejo, M. Lecture notes in computer science Vol. 1249, p. 49-52 DOI: 10.1007/3-540-63104-6_5 Date of publication: 1997 Journal article