Intensional logics for programming - Farinas Del Cerro L Ed.; Penttonen M Ed. (Oxford Clarendon Press, 1992)
Keywords: Logic programming; Computer science