G. Mints, E. Tyugu. "Propositional Logic Programming and the PRIZ system." Journal of Logic Programing, vol. 9, No.2-3, pp. 179 - 194, 1990.

Languages mentioned

• PRIZ {1983} Logic programming environment