BLUES: Better Logic Using Expert Software. In Salvatore T. March, editor, Entity-Relationship Approach, Proceedings of the Sixth International Conference on Entity-Relationship Approach, New York, USA, November 9-11, 1987. pages 13-14, North-Holland, 1987. [doi]
Abstract is missing.