Journal article published in "Journal of Logic Programming"!
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.