Artificial intelligence: An international Journal (Elsevier, 1972)