Formal methods in artificial intelligence - Ramsay, Allan (Cambridge Univ. Pr., 1989)