Computer science logic : 13th international workshop CSL'99