Barklund, J., Costantini, S., Dell'Acqua, P. and Lanzarone, G. A., Integrating Reflection into SLD-Resolution, in: A. Momigliano and M. Ornaghi (eds.), Proc. Post-Conf. Ws. on Proof-Theoretical Extensions of Logic Programming, 1994.
author author author author author author author author author author title title title title editor editor editor editor editor editor editor booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle date