Formal methods in artificial intelligence - Ramsay, Allan, 1953- (Cambridge tracts in theoretical computer science ;, 1989)