Formal methods in artificial intelligence - Ramsay A (1988)
Keywords: Computer Science