Ebcioglu, K. "Report on the CHORAL Project: An Expert System for Chorale Harmonization", RC 12628, IBM Watson Labs, 1987.

Languages mentioned

• BSL {1987} Backtracking Specification Language