Formal techniques in artificial intelligence : A sourcebook - Avenhaus, J. (Studies in computer science and artificial intelligence, 1990)