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

by M Hermenegildo
Venue:In: International Conference on Computational Logic, CL2000