1 January 1999

The journal article “Automated verification of Prolog programs”, by Le Charlier, B., Leclère, C., Rossi, S., Cortesi, A., has just been published in “Journal of Logic Programming”! Available here.