Formal Methods In Artificial Intelligence - Ramsay, Allan M. (Cambridge, 1991)
Keywords: Computer Science