Formal Methods in Artificial Intelligence (1988)

by A Ramsay