José Miguel Rivero

	2002
5		Robert Nieuwenhuis, José Miguel Rivero: Practical Algorithms for Deciding Path Ordering Constraint Satisfaction. Inf. Comput. 178(2): 422-440 (2002)
	1999
4		Robert Nieuwenhuis, José Miguel Rivero: Solved Forms for Path Ordering Constraints. RTA 1999: 1-15
	1997
3		Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses. CADE 1997: 49-52
2		Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: Barcelona. J. Autom. Reasoning 18(2): 171-176 (1997)
	1996
1		Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo: An Implementation Kernel for Theorem Proving with Equality Clauses. APPIA-GULP-PRODE 1996: 89-104

Coauthor Index

1	Robert Nieuwenhuis	[1] [2] [3] [4] [5]
2	Miguel Ángel Vallejo	[1] [2] [3]