Title: A hypothesis management system for krypton
First published: 1987