Software Development and Logic Programming.

Yves Deville, Leon Sterling, Pierre Deransart

Browse the full ICLP paper archive.