Formal methods in artificial intelligence - Ramsay, Allan (Cambridge, United Kingdom Cambridge University Press, 1991)
Keywords: Inteligencia artificial