Formal methods in artificial intelligence - Ramsay, Allan (Cambridge Tracts in Thoeretical Computer Science / Cambridge University Press ;, 1988)