Research notes in artificial intelligence.
Publisher: Pitman.