Formal methods in artificial intelligence - Ramsay Allan (Cambridge C U P, 1991)
Keywords: Artificial intelligence