M. Rodriguez Artalejo

Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

Burkhard Monien, J. Leach Albert, M. Rodriguez Artalejo, 1991 .

A First Order Logic for Logic Programming

M. Rodriguez Artalejo, J. J. Moreno Navarro, 1987 .

European summer meeting of the association for symbolic logic

H.-D. Ebbinghaus, J. Fernandez-Prida, D. Lascar, 1989 .