Title: STAR (simple tool for automated reasoning)
First published: 1985
Subjects: Interactive control, Software tools, Software engineering, Programming languages, User manuals (Computer programs), Symbolic programming, Algorithms, Artificial intelligence