Una sem'antica operacional para CProlog (1993)

by A J Fern'andez, B C Ruiz Jim'enez
Venue:of ICLP93