A Documentation Generator for (C)LP Systems (2000)

by M Hermenegildo
Venue:In International Conference on Computational Logic, CL2000, number 1861 in LNAI