A Semantics for Eshghi and Kowalski's Procedure.

Laura Giordano, Alberto Martelli, Maria Luisa Sapino

Browse the full ICLP paper archive.