G. Mints, E. Tyugu. "The Programming System PRIZ." Journal of Symbolic Computations, vol. 5, pp. 359 - 375, 1988.

Languages mentioned

• PRIZ {1983} Logic programming environment