LDM: A Program Specification Support System.

Zsuzsa Farkas, Pter Szeredi, Edit Sntn-Tth

Browse the full ICLP paper archive.