Formal methods in artificial intelligence - Ramsay, Allan (Cambridge Univ. Press, 1988)