Computer science logic 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20 - 25, 1999 ; proceedings (Springer, 1999)
Literaturangaben