Title: AQVAL/1 (AQ7) user's guide and program description
Subjects: AQVAL/1 (AQ7), Artificial intelligence, Switching theory