with Rodriguez Artalejo, M. , 1987, A first order logic for logic programming, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 303-314.