M. Hermenegildo, F. Bueno, G. Puebla, P. López-García. "Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor". 1999 International Conference on Logic Programming, pages 52-66, MIT Press, November 1999.

Languages mentioned

• CIAO {1994} Distributed And/Or parallel prolog