STUDIES IN HONOUR OF YAACOV CHOUEKA

Nachum Dershowitz and Ephraim Nissan, editors

Springer's Lecture Notes in Computer Science