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]
@inproceedings{Interprogram87,
title = {BLUES: Better Logic Using Expert Software},
year = {1987},
tags = {logic},
researchr = {https://researchr.org/publication/Interprogram87},
cites = {0},
citedby = {0},
pages = {13-14},
booktitle = {Entity-Relationship Approach, Proceedings of the Sixth International Conference on Entity-Relationship Approach, New York, USA, November 9-11, 1987},
editor = {Salvatore T. March},
publisher = {North-Holland},
isbn = {0-444-70440-X},
}